I am currently a PhD student in Computer Science at LIX, Ecole Polytechnique. My advisor is Dale Miller. I am particularly interested in proof theory, programming language theory, and verification.