About me

Mugshot


I am a research scientist at INRIA Rennes (IRISA), in the Celtique team.

My research area is about Proof Assistants (Coq, PVS) and Static Program Analysis (Abstract interpretation, Type systems, Proof Carrying Code). [More...]

Contact

Address: IRISA, Projet Celtique, Campus de Beaulieu, 35042 Rennes Cedex France
E-mail: david[dot]pichardie[at]irisa[dot]fr
Phone: +33 (0) 2 99 84 74 04
Fax: +33 (0) 2 99 84 71 71

Activities

News

Have fun with our web demonstrator for stackless representation of Java bytecode programs ! [More..]

Current research projects

  • ASCERT: french project (coordinator) (founded by FNRAE) about formal certification of static analyses. (2009-2012)
  • DECERT: french project (founded by ANR) about certifying decision procedures (2008-2011)
  • U3CAT: french project (founded by ANR) about the unification of critical C code analysis techniques inside the Frama-C platform (2008-2011).

Program committees

Lecturing