Projet : LANDE

Précédent : Conception et validation de logiciels Remonter : Conception et validation de logiciels Suivant : Présentation et objectifs généraux

   
Composition de l'équipe

 

Responsable scientifique

Daniel Le Métayer [DR Inria]

Assistantes de projet

Claire Street [vacataire Inria, jusqu'en mars 1998]
Josée Cabellan [vacataire Inria, d'avril 1998 jusqu'en septembre 1998]
Laëtitia Brenugat [vacataire Inria, depuis septembre 1998]

Personnel Inria

Pascal Fradet [CR]
Florimond Ployette [IR, Atelier]
Olivier Ridoux [CR]

Personnel CNRS

Thomas Jensen [CR]

Personnel Université

Valérie Gouranton [ ATER]

Personnel Insa

Mireille Ducassé [Professeur]

Chercheurs doctorants

Jeanne Berthélemy [ PRAG, Université de Bretagne Sud]
Frédéric Besson [allocataire MENRT, depuis octobre 1998]
Marc Éluard [boursier Inria, depuis octobre 1998]
Erwan Jahier [allocataire MENRT]
Julien Mallet [allocataire MENRT jusqu'en août 1998, puis ATER Insa]
Sarah Mallet [allocataire MENRT]
Valérie-Anne Nicolas [allocataire MENRT]
Michaël Périn [boursier Inria-Région]
Siegfried Rouvrais [allocataire MENRT, en co-encadrement avec le projet SOLIDOR]
Tommy Thorn [boursier Inria]

Chercheurs post-doctorant

Ewen Denney [depuis novembre 1998]
Lionel Van Aertryck [post-doc industriel AQL-INRIA]

Précédent : Conception et validation de logiciels Remonter : Conception et validation de logiciels Suivant : Présentation et objectifs généraux