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.

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

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.