I’m a PhD Student under the supervision of Assia Mahboubi at École Polytechnique (Palaiseau, France), near Paris. I studied Mathematics and Computer Sciences in ENS Cachan (Cachan, France), and I’m a qualified teacher (agrégé) in Mathematics (Computer Sciences option).
Affiliations
- TypiCal — INRIA Saclay – Île-de-France
- LIX — École Polytechnique
- Mathematical Components — Microsoft Research – INRIA joint center
ENS Cachan alumnus
Contact
- firstname.lastname@crans.org
- lastname@lix.polytechnique.fr
Research context and interests
My principal interest of research is in adding mathematical knowledge to the Coq proof assistant using Ssreflect extension.
Here is my CV
I’m interested in almost any mathematical or computer sciences topic, especially if it’s about algebra or logic.
This page was last updated at
2012-03-29 20:48:08 +0200