I'm a 4th year student at the ENS of Lyon, and a first-year Phd student at the LIPN, in the LCR team, under the supervision of Damiano Mazza.
My scientific interests: classical realizability, linear logic, implicit complexity, geometry of interaction, COQ, type theory, ...
I'm also actively involved in the organization of the working group Groupe de Travail Logique.