David Delahaye

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 CEDRIC.

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).

My research topics are essentially the following:

  • Formal Methods, Interactive and Automated Theorem Proving
  • Type Theory, Proof Assistants, Proof Languages
  • Formalization of Mathematics
  • Interactions between Deduction and Computer Algebra