Responsables Scientifiques
Gérard Huet [Directeur de Recherche INRIA]
Christine Paulin [Chargé de Recherche CNRS, ENS-Lyon]
Responsable Permanent
Gilles Dowek [Chargé de Recherche INRIA]
Secrétariat (commun avec le projet CRISTAL)
Sylvie Loubressac [INRIA]
Chercheurs confirmés
Philippe Audebaud [Maître de Conférences ENS-Lyon]
Solange Coupet [Université de Marseille, Visite jusqu'en
02/95]
Jean Duprat [Maître de Conférences ENS-Lyon]
Hugo Herbelin [ATER, Paris 7]
Pascal Manoury [Post-Doc jusqu'en 09/95, puis Maître de
Conférences, Paris 6]
Erik Poll [Post-doc jusqu'en 09/95]
Benjamin Werner [Chargé de Recherche INRIA]
Chercheurs de 3ème cycle
Bruno Barras [bourse X]
Samuel Boutin [moniteur normalien]
Cristina Cornes [bourse INRIA-Génie]
Judicaël Courant [normalien ENS-Paris]
Jean-Christophe Filliâtre [normalien ENS-Paris, Service National
à partir de 10/95]
Eduardo Giménez [bourse gvt. uruguayien et INRIA-Génie]
Henri Laulhère [bourse X]
César Muñoz [bourse gvt. français]
Catherine Parent [bourse Dassault jusqu'en 09/95]
Stéphane Philipakis [bourse GIE Bull-INRIA]
Frédéric Prost [bourse MESR-Génie]
Amokrane Saïbi [bourse gvt. algérien]
Stagiaires
Jean-René Beauvais [DEA Informatique Fondamentale]
Dominique Larchey-Wendling [normalien ENS-Lyon, DEA]