Directeur

Dominique Bolignano (Bull)

Directeurs adjoints

Claire Loiseaux (Bull)

Jean Goubault-Larrecq (GIE Dyade)

Projet Inria

Coq et Cristal (Rocquencourt), Lande (Rennes)

Personnels Inria

Gérard Huet (DR)

Gilles Dowek (CR)

Pascal Fradet (CR)

Michel Mauny (DR)

Xavier Leroy (CR)

François Rouaix (CR)

Daniel Le Métayer (DR)

Personnels CNRS

Pierre Lescanne (DR)

Thomas Jensen (CR)

Personnel des Universités

Christine Paulin-Mohring, Professeur, Université Paris Sud, Orsay

Ingénieur Expert

Amokrane Saïbi

Chercheurs doctorants

Marc Eluard

Nabil El Kadhi (Université Tunis II)

Eva Rose

Tommy Thorn

Personnels Bull

Pierre Boury

Boutheina Chetali

Erwan David

Henri Fraïssé