This page has moved to this location.

Thomas Jensen

INRIA

Campus de Beaulieu, 35042 Rennes, France
Tel: (+33 / 0) 2 99 84 74 78
Fax: (+33 / 0) 2 99 84 71 71

L'Ecole Jeunes Chercheurs en Programmation 2009 (EJCP 2009)
The CELTIQUE research group was launched in 2009 as a successor to the Lande project
The ANR DeCert project on decision procedures and certification.

SHORT CV

Directeur de recherche INRIA

Cand. scient. in Computing and Mathematics, Univ. of Copenhagen,1990. PhD Imperial College, Univ. of London,1992. Habilitation à diriger des recherches, Univ. Rennes 1, 1999. In 1993 I joined the CNRS as Chargé de recherche at the Computing Laboratory at Ecole Polytechnique. Since 1997, I'm affiliated with IRISA, Rennes where I am leader of the Lande project since 1999. I was Directeur de recherche at CNRS from 2003 to 2009. Since 2009 I am Directeur de recherche at INRIA.