Welcome to my Home Page!

I am a professor at the Science Faculty of the University of Montpellier.
I am the deputy head 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).


  • Internship offer for 2018/2019: here
  • I was the coordinator of the BWare project from 2012 to 2016
  • 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)