This page has moved to this location.

Thomas Jensen

IRISA/CNRS

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

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.