Composition de l'équipe

Responsable Scientifique
Christine Paulin [Chargée de Recherche CNRS jusqu'au 31 août 1997 au LIP à l'ENS Lyon, Professeur à l'Université Paris 11 depuis le 1er septembre 1997]

Responsable Permanent
Gilles Dowek [CR INRIA]

Assistante de Projet (commun Cristal-Para)
Sylvie Loubressac [TR INRIA]

Personnel Inria
Jean Goubault-Larrecq [G.I.E. Dyade]
Gérard Huet [DR]
Benjamin Werner [CR]

Personnel Université
Philippe Audebaud [Maître de Conférences, ENS Lyon]
Hugo Herbelin [Maître de Conférences, Paris 10]
Jean Duprat [Maître de Conférences, ENS Lyon]

Ingénieur Expert
Amokrane Saïbi [G.I.E. Dyade du 1er septembre 1997 au 31 août 1998]

Chercheur Invité
Gilberto Perez Vega [Université de la corogne de mai 1997 à juillet 1997]

Chercheur post-doctorant
Eduardo Giménez [INRIA contrat CNET, du 1er février 1997 au 31 janvier 1998]

Chercheurs doctorants
Bruno Barras [bourse MENESR]
Cristina Cornes [bourse INRIA jusqu'au 15 novembre 97]
Judicaël Courant [moniteur normalien, ENS Lyon]
David Delahaye [Bourse MENESR]
Jean-Christophe Filliâtre [normalien ENS, moniteur normalien université Paris 11 depuis septembre 1997]
Henri Laulhère [bourse MENESR]
Patrick Loiseleur [normalien ENS]
Micaela Mayero [Bourse MENESR]
César Muñoz [Bourse gouvernement français+INRIA jusqu'au 15 novembre 97]
Frédéric Prost [bourse MENESR-Génie]

Stagiaires
Ajay Chander [IIT Dehli, Inde, mai à juillet 1997]
David Delahaye [DEA Sémantique Preuve et Programmation Paris 6, avril à septembre 1997]
Patrick Loiseleur [DEA Sémantique Preuve et Programmation ENS, avril à septembre 1997]
Micaela Mayero [DEA Sémantique Preuve et Programmation Paris 6, avril à septembre 1997]

Précédent : Projet COQ, Spécifications et preuves Remonter : Projet COQ, Spécifications et preuves Suivant : Présentation générale et objectifs