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.