Luca Reggio's Homepage

Since September 2024 I have been a tenure-track researcher (RTT in the Italian system) at the Department of Mathematics “Federigo Enriques” of the Università degli Studi di Milano. 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 mainly interested 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.


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.)


News

2 July 2024

New survey article available: An invitation to game comonads, jointly written with Samson Abramsky

27 February 2024

Our joint paper with Samson Abramsky, entitled ''Arboreal categories and equi-resource homomorphism preservation theorems'', will appear in the Annals of Pure and Applied Logic

19 October 2023

New preprint available: A model category for modal logic

... see all News

Upcoming events

28 July - 8 August 2025 (Bochum)

ESSLLI Summer School

31 March - 4 April 2025 (Dagstuhl)

Categories for Automata and Language Theory

19-20 December 2024 (Padova)

5th ItaCa Workshop

16-19 December 2024 (Manchester)

Categorical Logic and Higher Categories

... see all Events

List of open positions in Logic maintained by AILA

... see Positions