I am a first-year PhD student in Theoretical Computer Science at IRIF, under the supervision of Sam van Gool. My main interest is categorical logic and duality theory: a central objective of my research project is to understand the relationship between ultracategories and polyadic spaces as semantical duals of first-order theories, with applications to topos theory and intuitionistic model theory.

Before that, I have obtained a Master’s degree in Mathematics at the Università degli Studi di Milano Statale, but I spent the second year abroad at the University of Amsterdam with a foot in the MasterMath program and the other in the Master of Logic. My Master’s thesis, written at the ILLC under the supervision of Benno van den Berg, is available here.

Publications

2025

A category of arrow algebras for modified realizability
Theory and Applications of Categories, 44(4): 132-180, 2025

Teaching

Fall 2024

Programmation 1
S5 EIDD, Université Paris Cité
Lab classes. Lecturer: Pierre Charbit.

Spring 2024

Topos theory
MasterMath, University of Utrecht
Exercise classes. Lecturer: Jaap van Oosten.

Talks

9 Apr 2025

Arrow algebras, algebraic structures for modified realizability
Realizability Workshop, CIRM, Marseille
Slides available here.

16 Jan 2025

A gentle introduction to categorical realizability
Séminaire des membres non-permanents, IRIF
Slides available here.

18 Dec 2024

Triposes and toposes via arrow algebras
Categorical Logic and Higher Categories, University of Manchester
Slides available here.

5 June 2024

Triposes and toposes through arrow algebras
Dutch Categories And Types Seminar, University of Leiden
Slides available here.