Under construction. I’m a PHD student supervised by Théo Winterhalter and Frédéric Blanqui in Deducteam. I’m affiliated with University Paris Saclay, LMF, INRIA Saclay and ENS Paris Saclay.

My thesis subject is “Ghosts in dependent type theory: new principles and definitional equalities”.

In 2024-25 I did a year long internship in the Netherlands on agda core supervised by Jesper Cockx at TuDelft University in the TU Delft Programming Languages Group.

Education