I am a PhD student in computer science at the ENS. I work on formal methods to prove security properties on critical software. I teach mathematics to first year students.