Welcome to my Home Page!

I am a professor at Polytech' Montpellier of the Université de Montpellier.
I am a member of the MaREL team of the LIRMM laboratory.

My research topics are essentially the following:

  • Dependability, Modeling of Critical (Embedded) Systems
  • Formal Methods, Interactive and Automated Theorem Proving
  • Type Theory, Proof Assistants, Proof Languages
  • Formalization of Mathematics
  • Interactions between Deduction and Computer Algebra

Formerly, I was an assistant professor in at the Computer Science Department of Cnam (Paris) in the CPR team of the Cedric laboratory.
I was also a member of the Inria Deducteam team, and of the Focalize project (LIP6, Inria and Cnam).


  • See my internship offer for 2015/2016 here
  • I coordinate the BWare project, which has started from September 2012
  • With P. Halmagrand, we have extended Zenon to deduction modulo (see Zenon Modulo)
  • With G. Bury, we have extended Zenon to arithmetic (see Zenon Arith)