![]()
Précédent : Projet PARA Remonter : Projet PARA
Suivant : Présentation du projet
Responsable scientifique
Jean-Jacques Lévy [directeur de recherche]
Responsable permanent
Georges Gonthier [chargé de recherche]
Personnel INRIA
Damien Doligez [chargé de recherche]
Robert Ehrlich [ingénieur de recherche]
Luc Maranget [chargé de recherche]
Conseillère scientifique
Thérèse Hardin [professeur à Paris 6]
Secrétaire
Ghislaine Le Corre [jusqu'au 1-9-96]
Sylvie Loubressac [en commun avec CRISTAL et COQ ]
Chercheurs doctorants
Florent Guillaume [ENS, jusqu'au 1-9-96]
Cédric Fournet [ingénieur des Ponts et Chaussées]
Bruno Pagano [boursier MENESR, Univ. Paris 7]
Stagiaire
Sylvain Huet [DEA, 1-5-96 au 31-8-96]