I am a PhD student at the university of Paris XI in the LRI laboratory. I work in the Démons team under supervision of Christine Paulin-Mohring. My thesis subject is An environment for programming with dependent types. It consists in conceiving methods to ease definition and reasonning on bug-free, mechanicaly proved programs. A draft of my thesis (in french) is now available, comments are welcome!

Here's my schedule: