I was a PhD student at the university of Paris XI in the LRI laboratory. I worked in the Démons team under supervision of Christine Paulin-Mohring. My thesis subject is An environment for programming with dependent types and it consists in conceiving methods to ease definition and reasonning on bug-free, mechanicaly proved programs. I have defended my thesis and I am now a postdoctoral fellow at Harvard, working in the Ynot group.

Here's my schedule: