Introduction
After having graduated from the École Normale Supérieure, in Paris, I am now a PhD student under Dale Miller's supervision, at the INRIA Saclay - Île-de-France, in the Parsifal team. If you would like to know more about me, here is my resume.
Research interests
I am interested in game semantics, particularly in connection with logic with focus, but more generally in everything around proof theory (linear logic, ludics, automatic provers, geometry of interaction,...).
Français 
English
