Luca Reggio's Homepage

Since September 2024 I have been a tenure-track researcher at the Department of Mathematics “Federigo Enriques” of the Università degli Studi di Milano, and since October 2024 I have been funded by the national Rita Levi Montalcini scheme. Previously, between 2020 and 2024, I was a Senior Research Fellow at University College London, where I worked on Samson Abramsky’s EPSRC project “Resources in Computation”, and a Marie Skłodowska-Curie fellow at Oxford University, where I carried out my project D-FINED. I am currently an Honorary Research Fellow at UCL. My main interests are in logic and its categorical, algebraic and topological facets.

Before moving to the UK, I was a postdoctoral 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 received my PhD in mathematics from 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. During this time, 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.

Mathematical Logic at UniMi

For information about the Mathematical Logic group at the University of Milan, see here. In collaboration with the Categorical Algebra group, we run a weekly seminar on Logic, Algebra, and Categories (LAC).

You can contact me at  

(All views expressed on this page are my own and may not reflect the opinions of any entity with which I am affiliated.)