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, ...
In a previous life I was involved in the organization of the working group Groupe de Travail Logique.
I am also currently involved in my start-up Smyle which is a visual search engine for fashion.