David Delahaye

(HDR) Assistant Professor, Cnam

Welcome to my Home Page!

I am an assistant professor in at the Computer Science Department
of Cnam (Paris) in the CPR team of the Cedric laboratory.

I am also a member of the Inria Deducteam team.
I am also a member of the Focalize project (LIP6, Inria and Cnam).
I defended my HDR thesis on December 2010 (the memoir is here).

With Catherine Dubois, I manage the communication of the Cedric 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