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.

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

Preprints

2025

Ultracategories via Kan extensions of relative monads
Joint work with Joshua Wrigley. 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

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 [slides]

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 [slides]

18 Dec 2024

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

5 June 2024

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