A picture of me

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

ENS Cachan alumnus

Contact

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
This site is powered by nanoc and hosted by Cr@ns