Responsable scientifique
Jean-Jacques Lévy [directeur de recherche]
Responsable permanent
Georges Gonthier [chargé de recherche]
Personnel INRIA
Damien Doligez [chargé de recherche, depuis le 1-10-95]
Robert Ehrlich [ingénieur de recherche]
Luc Maranget [chargé de recherche]
Conseillère scientifique
Thérèse Hardin [professeur à Paris 6]
Secrétariat
Ghislaine Le Corre
Chercheurs doctorants
Florent Guillaume [ENS-Ulm, en service militaire à l'Ecole
Polytechnique jusqu'au 1-8-95]
Cédric Fournet [ingénieur des Ponts et Chaussées]
Paul-André Melliès [boursier de l'étranger, en service militaire
à l'université libre d'Amsterdam]
Bruno Pagano [boursier MESR]