Responsable scientifique
Michel Mauny [directeur de recherche, INRIA]
Responsable permanent
Pierre Weis [directeur de recherche, INRIA]
Secrétariat (commun avec COQ)
Sylvie Loubressac
Conseillers scientifiques
Guy Cousineau [professeur, Univ. Paris 7 et ENS]
Christian Queinnec [maître de conférence, École Polytechnique,
depuis 09/95]
Personnel INRIA
Xavier Leroy [chargé de recherche]
Daniel de Rauglaudre [ingénieur de recherche]
Didier Rémy [chargé de recherche]
François Rouaix [chargé de recherche]
Chercheur invité
Benjamin Goldberg [professeur, New-York Univ., jusqu'à 07/95]
Collaborateur extérieur
Valérie Ménissier-Morain [ATER, Univ. d'Évry]
Postdoc
Jean-Marie Geffroy
Chercheurs doctorants
Patrick Parot [bourse MESR, Univ. Orléans, jusqu'à 10/95]
François Pottier [ENS-Paris]
Christian Rinderknecht [bourse MESR, Univ. Paris 6]
Émilie Sayag [bourse MESR, Univ. Paris 7]
Jérôme Vouillon [ENS-Paris]
Stagiaires
David Nowak [stage de Maîtrise, Univ. Valenciennes, de 05 à
07/95]
François Pessaux [stage de Maîtrise, Univ. Paris 6, de 05 à
07/95]