Précédent : Projet COQ Remonter : Projet COQ Suivant : Présentation du projet
Précédent : Projet COQ Remonter : Projet COQ
Suivant : Présentation du projet
Responsables Scientifiques
Gérard Huet [Directeur de Recherche INRIA]
Christine Paulin [Chargée de Recherche CNRS, ENS-Lyon]
Responsable Permanent
Gilles Dowek [Chargé de Recherche INRIA]
Secrétaire (commun avec les projets Cristal et
Para)
Sylvie Loubressac [INRIA]
Chercheurs confirmés
Philippe Audebaud [Maître de Conférences, ENS-Lyon]
Jean Duprat [Maître de Conférences, ENS-Lyon]
Jean Goubault-Larrecq [Chercheur Dyade depuis 09/96]
Hugo Herbelin [ATER, Paris 7/Maître de Conférences, Paris 10]
Benjamin Werner [Chargé de Recherche INRIA]
Chercheurs de 3ème cycle
Bruno Barras [bourse MENESR]
Samuel Boutin [moniteur normalien jusqu'en 09/96]
Cristina Cornes [bourse INRIA-Génie]
Judicaël Courant [normalien ENS-Paris/moniteur normalien]
Jean-Christophe Filliâtre [normalien ENS-Paris, Service National
jusqu'en 07/96]
Eduardo Giménez [bourse INRIA-Génie]
Henri Laulhère [bourse MENESR]
César Muñoz [bourse CROUS]
Stéphane Philipakis [bourse Dyade jusqu'en 09/96]
Frédéric Prost [bourse MENESR-Génie]
Amokrane Saïbi [bourse gvt. algérien/ATER, Paris 6]