Welcome to my Home Page!
I am an assistant professor in at the
Computer Science Department
of CNAM (Paris) in the
CPR team of
CEDRIC.
I am also a member of the Focalize project (LIP6, INRIA and CNAM).
I defended my HDR thesis on December 2010 (the memoir is here).
My research topics are essentially the following:
- Formal Methods, Interactive and Automated Theorem Proving
- Type Theory, Proof Assistants, Proof Languages
- Formalization of Mathematics
- Interactions between Deduction and Computer Algebra