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 semantic 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, and it won the 2025 AILA 3+2 Award for the best Master’s thesis in Mathematical Logic.

At IRIF, I co-organize the QueeRIF meetings and the topos theory reading group.

Preprints

2025

Toposes with enough points as categories of étale spaces
Joint work with Sam van Gool and Jérémie Marquès.

Ultracategories via Kan extensions of relative monads
Joint work with Joshua Wrigley.

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

14 July 2025

Where do ultracategories come from?
CT2025, Masaryk University

30 Apr 2025

Introduction to elementary toposes
Théorie des topos, IRIF

9 Apr 2025

Arrow algebras, algebraic structures for modified realizability
Realizability Workshop, CIRM, Marseille

12 Feb 2025

Arrow algebras, algebraic structures for modified realizability
GT Sémantique, IRIF

16 Jan 2025

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

18 Dec 2024

Triposes and toposes via arrow algebras
Categorical Logic and Higher Categories, University of Manchester

5 June 2024

Triposes and toposes through arrow algebras
Dutch Categories And Types Seminar, University of Leiden