I have a PhD in computer sciences, and I am currently a permanent researcher (CR1) at Inria Sophia Antipolis in the team MARELLE.
I did a postdoc in the Department of Computer Science and Engineering of University of Gothenburg and Chalmers in Sweden.
I used to be a PhD Student under the supervision of Assia Mahboubi at École Polytechnique (Palaiseau, France). I studied Mathematics and Computer Sciences in ENS Cachan (Cachan, France), and I’m a qualified teacher (agrégé) in Mathematics.
- Work phone: +33 (0) 4 97 15 53 45
- Office F104
- 2004 route des Lucioles – BP 93
06902 Sophia-Antipolis Cedex
Research context and interests
My principal interest of research is in adding mathematical knowledge to the Coq proof assistant.
Here is my (slightly outdated) CV in english or in french.
This page was last updated at 2015-09-07 13:20:21 +0200