I am a Marie Skłodowska-Curie fellow at the Department of Computer Science of the University of Oxford. My main interests lie at the intersection of mathematical logic, duality theory and theoretical computer science. If you are interested, you can read more about my research interests or my Marie Curie project D-FINED.
I am part of Samson Abramsky’s group, and collaborate with the Oxford and Cambridge teams on the EPSRC project “Resources and co-resources: a junction between semantics and descriptive complexity” co-led by Samson Abramsky and Anuj Dawar.
Before coming to Oxford, 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.)
My paper Arboreal Categories and Resources, joint with Samson Abramsky, has appeared in the proceedings of ICALP 202123. 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 Science11. May 2021
My paper Beth definability and the Stone-Weierstrass theorem has appeared in the Annals of Pure and Applied Logic10. May 2021
Our joint paper with Anuj Dawar and Tomas Jakl, entitled Lovász-Type Theorems and Game Comonads, will appear in the proceedings of LiCS 2021. A preprint is available on arXiv17. February 2021
New preprint available: Arboreal categories: An axiomatic theory of resources, joint work with Samson Abramsky