A picture of me

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

Contact

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 2024-08-12 18:25:00 +0200
This site is hosted by Crans Cr@ns