Projet : COQ

previous up next contents
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

 

Responsable scientifique

Christine Paulin [Professeur à l'Université, Paris 11]

Responsable permanent

Gilles Dowek [Chargé de Recherche, INRIA]

Assistantes de projet (commun Cristal-Para)

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]

Personnel Inria

Gérard Huet [DR, Délégué aux Relations Internationales]
Benjamin Werner [CR]

Personnel Université

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]

Chercheurs extérieurs

Jean Duprat [Maître de conférences, ENS-Lyon]
Jean Goubault-Larrecq [G.I.E. Dyade]
Pierre Lescanne [Professeur, ENS-Lyon]

Ingénieur expert

Amokrane Saïbi [G.I.E. Dyade]

Chercheur post-doctorant

Eduardo Giménez [INRIA,contrat CNET puis Génie jusqu'au 31/05/98]

Chercheurs doctorants

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]

Stagiaires

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]



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