Olivier Hermant's Picture

Olivier Hermant
Researcher in Computer Science

I am an assistant researcher at CRI, the computer science laboratory of Mines ParisTech and an close collaborator to the Deducteam Inria project-team. Within the formal method community, my theoretical research interests spread from proof theory to type theory and rewriting. In the practical side, I am involved in the development of Dedukti, a universal proof-checker that is able to check proofs from various proof assistants, together with its companion tools. I also have studied various automated theorem proving techniques (resolution, tableaux). You can learn more about my work (including some drafts) on my paper page.

I defended my habilitation on 2017, April 20 at 2PM in room L107 at
MINES ParisTech
60 bd Saint Michel
75 006 Paris

Here is a draft version of the manuscript (in French). The slides are now also available, as well as a long version of the slides.

Here are my coordinates: Office 1.04, Building P
Mines ParisTech
35 rue Saint-Honoré
77 305 Fontainebleau (France)
Tel: +33 (0)1 64 69 48 31
Fax: +33 (0)1 64 69 48 47
Mail: my
, a
, my
, an
and the suffix

Resume: [pdf], [ps]