I am a 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.

Preprints

2024

A category of arrow algebras for modified realizability
Available here.

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

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.