Composition de l'équipe

Responsable scientifique
Jean-Jacques Lévy [Directeur de recherche Inria]

Responsable permanent
Georges Gonthier [Directeur de recherche Inria]

Assistante de projet
Sylvie Loubressac [TR Inria]

Personnel Inria
Alain Deutsch [Chargé de recherche]
Damien Doligez [Chargé de recherche]
Luc Maranget [Chargé de recherche]
Robert Ehrlich [Ingénieur de recherche, jusqu'à juin 1997]

Chercheurs doctorants
Bruno Blanchet [Élève normalien, ENS]
Fabrice le Fessant [Moniteur X, Ecole polytechnique]
Cédric Fournet [Ingénieur des Ponts et Chaussées]

Chercheurs post-doctorant
Carolina Lavatelli [boursière ERCIM, depuis décembre 1997]
Uwe Nestmann [boursier ERCIM, jusqu'à octobre 1997]

Conseillers scientifiques
Thérèse Hardin [Professeur d'université Paris VI]

Stagiaire
Christiana Toutet [Élève au MIT, juin-juillet 1997]