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

3. October 2022

My paper ''Polyadic sets and homomorphism counting'' will appear in Advances in Mathematics

20. July 2022

New preprint available: Regular categories and soft sheaf representations, joint work with Marco Abbadini

1. March 2022

My paper ''Model completions for universal classes of algebras'', joint with George Metcalfe, will appear in the Journal of Symbolic Logic

1. February 2022

I moved from Oxford University to UCL, where I am now working on Samson Abramsky's EPSRC project ''Resources in Computation''

20. January 2022

The extended version of our work ''A Duality Theoretic View on Limits of Finite Structures'', co-authored by Mai Gehrke and Tomáš Jakl, has appeared in Logical Methods in Computer Science

... see all News

Upcoming events

4-9 September 2023 (Pisa)

XXII Congresso dell'Unione Matematica Italiana

21-23 September 2022 (London)

Resources in Computation workshop

... see all Events