Luca Reggio's Homepage

I am a Marie Skłodowska-Curie fellow at the Department of Computer Science of the University of Oxford. My main interests lie at the intersection of mathematical logic, duality theory and theoretical computer science. If you are interested, you can read more about my research interests or my Marie Curie project D-FINED.

I am part of Samson Abramsky’s group, and collaborate with the Oxford and Cambridge teams on the EPSRC project “Resources and co-resources: a junction between semantics and descriptive complexity” co-led by Samson Abramsky and Anuj Dawar.

Before coming to Oxford, I was a postdoc researcher at the University of Bern, working on George Metcalfe’s project “Hidden Quantifiers”, and at the Institute of Computer Science of the Czech Academy of Sciences in Prague.

I obtained my PhD in Mathematics at Université de Paris in September 2018, under the supervision of Mai Gehrke. I spent the first two years of my PhD studies at IRIF (Paris 7), and the third one at the Laboratoire J.A. Dieudonné in Nice. In that period I held a scholarship from Sorbonne Paris Cité, and worked on Mai Gehrke’s ERC Advanced Grant DuaLL. My PhD thesis, entitled “Quantifiers and duality”, can be found on the Publications page.


You can contact me at  


     



News

18. June 2020

I was awarded the Premio Speciale AILA Paolo Gentilini for PhD theses in mathematical logic and its applications to theoretical computer science

15. April 2020

Our joint paper with Mai Gehrke and Tomáš Jakl was published in the proceedings of FoSSaCS 2020

1. February 2020

I moved from Bern, where I worked as a postdoc with George Metcalfe, to Oxford where I am starting my Marie Curie project D-FINED (Yes, it's the day after Brexit!)

... see all News

Upcoming events

27-30 April 2020 postponed (Dublin)

23rd International Conference on Foundations of Software Science and Computation Structures

2-5 September 2020 postponed (Caserta)

XXVII Incontro di Logica

... see all Events