The CELTIQUE research group was
launched in 2009 as a successor to the Lande project
The ANR DeCert project on decision
procedures and certification.
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.