Projet :
COQ

Précédent : Spécifications et preuves de programmes
Remonter : Spécifications et preuves de programmes
Suivant : Présentation et objectifs généraux
Composition de l'équipe
Christine Paulin [Professeur à l'Université,
Paris 11]
Gilles Dowek [Chargé de Recherche, INRIA]
Sylvie Loubressac [TR INRIA-en
congé maladie jusqu'à octobre 1998]
Carole Giordano [Remplaçante-de janvier à juin 1998]
Nelly Maloisel [Adjointe Administrative INRIA-depuis le 1/07/98]
Gérard Huet [DR, Délégué aux Relations
Internationales]
Benjamin Werner [CR]
Hugo Herbelin [Maître de Conférences, Paris
10]
Judicaël Courant [Allocataire moniteur normalien, ENS Lyon
jusqu'au 31/08/98, Maître de Conférences, Paris 11 depuis le
1/09/98]
Jean Duprat [Maître de conférences,
ENS-Lyon]
Jean Goubault-Larrecq [G.I.E. Dyade]
Pierre Lescanne [Professeur, ENS-Lyon]
Amokrane Saïbi [G.I.E. Dyade]
Eduardo Giménez [INRIA,contrat CNET puis
Génie jusqu'au 31/05/98]
Bruno Barras [Allocataire MESR
jusqu'au 30/09/98, boursier INRIA depuis le 1/10/98]
David Delahaye [Allocataire MESR]
Jean-Christophe Filliâtre [Allocataire moniteur normalien, Paris
11]
Henri Laulhère [Allocataire MESR jusqu'au
30/09/98, MOO du 1/10/98 au 30/11/98]
Patrick Loiseleur [Allocataire normalien ENS jusqu'au 31/08/98-
moniteur normalien, Paris 11 depuis le 1/09/98]
Micaela Mayero [Allocataire MESR]
Alexandre Miquel [Allocataire MESR depuis le
1/10/98]
Eva Rose [Boursier INRIA, G.I.E. Dyade-ENS Lyon]
Frédéric
Blanqui [DEA Sémantique Preuve et Programmation Paris 7, avril à
septembre 1998]
Yoann Courant [Stagiaire ENSIMAG]
Alexandre Miquel [DEA Sémantique Preuve et Programmation Paris 7,
avril à septembre 1998]

Précédent : Spécifications et preuves de programmes
Remonter : Spécifications et preuves de programmes
Suivant : Présentation et objectifs généraux