Précédent : Parallélisme Remonter : Parallélisme Suivant : Présentation et objectifs généraux

Composition de l'équipe

Responsable scientifique

Jean-Jacques Lévy [Directeur de recherche Inria]

Responsable permanent

Georges Gonthier [Directeur de recherche Inria]

Assistantes de projet

Carole Giordano [TR, vacataire jusqu'au 30/6/1998]
Nelly Maloisel [TR, à partir du 1/7/1998, à temps partiel dans le projet]
Sylvie Loubressac [TR, à partir de 1/11/1998, à mi-temps]

Personnel Inria

Alain Deutsch [Chargé de recherche]
Damien Doligez [Chargé de recherche]
Luc Maranget [Chargé de recherche]

Chercheurs doctorants

Bruno blanchet [élève normalien, ENS]
Sylvain Conchon [allocataire MENRT]
Fabrice le Fessant [moniteur X, Ecole polytechnique]
Cédric Fournet [ingénieur des Ponts et Chaussées, jusqu'au 31/7/98]

Chercheur post-doctorant

Carolina Lavatelli [boursière ERCIM, jusqu'au 30/9/98]

Conseillère scientifique

Thérèse Hardin [Professeur d'université Paris VI]

Stagiaires

Cyril Alloum [DEA Paris 6]
Gael Mulat [IIE]
Guillaume Moucheroud [industrie]
Arindam Paul [IIT, Kanpur]
Joachim Tordjman [Ecole polytechnique]