Welcome to my Home Page!
I am a lecturer in at the
Computer Science Department of
CNAM (Paris)
in the CPR team of
CEDRIC.
I am also a member of the Focal project (LIP6, INRIA and CNAM).
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