I am currently a permanent researcher (Chargé de Recherche) at Inria in the CASH team, LIP, ENS de Lyon, France.
From 2014 to 2024, I was in the STAMP team in Sophia Antipolis, France.
From 2012 to 2014, I did a postdoc in the Department of Computer Science and Engineering of University of Gothenburg and Chalmers in Sweden.
From 2009 to 2012, I did my PhD under the supervision of Assia Mahboubi at École Polytechnique (Palaiseau, France). Before that, I studied Mathematics and Computer Sciences in ENS Cachan (Cachan, France), and I’m a qualified teacher (agrégé) in Mathematics.
Affiliation
- Inria, ENS de Lyon, CNRS, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France
Contact
- firstname.lastname@inria.fr
- Work phone: +33 (0)4 72 72 85 47
- Office GN1 355 Sud
- Laboratoire de l'Informatique du Parallélisme ENS de Lyon 46, allée d'Italie 69364 LYON CEDEX 07 FRANCE
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.
