I am a second-year PhD student in Theoretical Computer Science at IRIF, under the supervision of Sam van Gool. My main interests are 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 2025

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

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

2025

Toposes with enough points as categories of étale spaces
ItaCa Workshop 2025

Ultracategories via Kan extensions of relative monads
ItaCa Fest 2025

Where do ultracategories come from?
CT2025, Masaryk University

Introduction to elementary toposes
Théorie des topos, IRIF

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

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

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

2024

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

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