Composition de l'équipe

Responsable scientifique
Michel Mauny [DR, INRIA]

Responsable permanent
Pierre Weis [DR, INRIA]

Assistante de projet (commun avec COQ et PARA)
Sylvie Loubressac

Conseillers scientifiques
Guy Cousineau [professeur, Univ. Paris 7]
Christian Queinnec [professeur, Univ. Paris 6]

Personnel INRIA
Xavier Leroy [CR]
Daniel de Rauglaudre[IR]
Didier Rémy [CR]
François Rouaix [CR]

Ingénieurs experts
Erwan David [(depuis le 1er nov. 1997)]
Valérie Ménissier-Morain [(jusqu'au 1er sept. 1997)]

Chercheurs doctorants
Jun Furuse [boursier du gouvernement Japonais, Univ. Paris 7]
Robert Harley [allocataire MENESR, Univ. Paris 7]
François Pessaux [bourse INRIA, Univ. Paris 6]
François Pottier [allocataire normalien (ENS-Paris), Univ. Paris 7]
Christian Rinderknecht [bourse INRIA jusqu'au 30 oct. 1997, Alcatel Recherche depuis lors, Univ. Paris 6]
Émilie Sayag [ATER, Univ. Paris 7]
Jérôme Vouillon [ENS-Paris]