Welcome to my Home Page!
I am a professor at the
Science Faculty of the
University of Montpellier.
I am the head of the
MaREL team of the
LIRMM laboratory.
I am a member of the
section 27 of
CNU since 2018.
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).
News
- PhD thesis offer from September 2020: here
- Internship offer for 2019/2020: 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)