Luca Reggio's Homepage

Since February 2022 I am Senior Research Fellow at University College London, where I work on Samson Abramsky’s EPSRC project “Resources in Computation”. Before that, I was 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 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  


     


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


News

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

21 June 2023

New preprint available: Filtral pretoposes and compact Hausdorff locales, joint work with Célia Borlido, Panagis Karazeris and Konstantinos Tsamis

18 May 2023

Our joint paper with Marco Abbadini, entitled ''Barr-exact categories and soft sheaf representations'', appeared in the Journal of Pure and Applied Algebra

26 April 2023

New preprint available: Finitely accessible arboreal adjunctions and Hintikka formulae, joint work with Colin Riba

... see all News

Upcoming events

10-13 September 2024 (Siena)

Algebra Week

3-6 September 2024 (Udine)

XXVIII Incontro di Logica AILA

8-12 July 2024 (Coimbra)

38th Summer Conference on Topology and its Applications

1-5 July 2024 (Barcelona)

TACL 2024

24-28 June 2024 (Gothenburg)

Logic Colloquium 2024

... see all Events