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

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

22. October 2021

New preprint available: Polyadic Sets and Homomorphism Counting

8. July 2021

My paper ''Arboreal Categories and Resources'', joint with Samson Abramsky, has appeared in the proceedings of ICALP 2021

23. June 2021

The extended version of our joint paper ''Quantifiers on languages and codensity monads'', with Mai Gehrke and Daniela Petrisan, has been published in Mathematical Structures in Computer Science

... see all News

Upcoming events

20 September 2022 (Online)

ItaCa Fest 2022

12-15 September 2022 (Caserta)

XXVII Incontro di Logica

8-19 August 2022 (Galway)

ESSLLI Summer School

20-24 June 2022 (Coimbra)

TACL 2021-22

13-18 June 2022 (Praia de Mira)

TACL Summer School

... see all Events