Projet : PROTHEO

Précédent : Contraintes, Déduction automatique et Preuves Remonter : Contraintes, Déduction automatique et Preuves Suivant : Présentation et objectifs généraux

   
Composition de l'équipe

 

Responsable scientifique

Hélène Kirchner [DR CNRS]

Responsable permanent

Michaël Rusinowitch [DR Inria]

Secrétaire

Christelle Bergeret [TR Inria]

Personnel Inria

Adel Bouhoula [CR]
Isabelle Gnaedig-Antoine [CR]
Florent Jacquemard [CR, à partir du 1/10/98]
Claude Kirchner [DR]
Christophe Ringeissen [CR]

Personnel CNRS

Eric Domenjoud [CR]
Nicolas Hermann [CR, en détachement Maître de Conférences, Université Henri Poincaré, Nancy 1, à partir du 1/10/98]

Personnel Université

Alexander Bockmayr [Professeur, Université Henri Poincaré, Nancy 1, à partir du 1/10/98]
Arnaud Durand [ATER, Université Nancy 2]
Laurent Vigneron [Maître de Conférences, Université Nancy 2]

Ingénieurs experts

Iliès Alouini [jusqu'au 31/3/98]
Gilles Défourneaux [à partir du 1/07/98]
Jianyang Zhou [jusqu'au 30/9/98 puis Post-doc Inria co-financé Région Lorraine]

Chercheurs post-doctorants

Alessandro Armando [Post-doc MAE]
Bernhard Gramlich [Boursier Inria, TMR Marie Curie, jusqu'au 28/2/98]

Chercheurs invités

Christopher Lynch [du 1/7/98 au 31/7/98]
David Plaisted [du 1/7/98 au 31/7/98]
Gernot Salzer [du 1/1/98 au 28/2/98]
Mark van den Brand [du 1/5/98 au 31/5/98]

Chercheur extérieur

Denis Lugiez [Professeur, Université de Marseille I]

Chercheurs doctorants

Farid Ajili [ATER (Université Nancy 2), soutenance le 6/5/98]
Peter Borovanský [boursier CNOUS et Inria, soutenance le 8/10/98]
Carlos Castro [boursier de l'Université Technique Federico Santa Maria, Chili, et Inria, soutenance le 18/12/98]
Horatiu Cirstea [boursier Inria]
Éric Deplagne [allocataire MENESR à partir du 1/9/98]
Hubert Dubois [allocataire MENESR]
Thomas Genet [ATER (Université Nancy 2), soutenance le 24/9/98 puis Post-doctorant au CNET, Lannion]
Laurent Juban [allocataire MENESR]
Pierre-Etienne Moreau [allocataire MENESR, puis ATER à partir du 1/9/98]
Christelle Scharff [allocataire MENESR, puis ATER à partir du 1/11/98]
Sorin Stratulat [boursier Inria, co-financé Région Lorraine]

Stagiaires

Mbarek Atili [5 mois]
Ramzi Azaiez [4 mois]
Souâad Balla [4 mois]
Salma Jamoussi [4 mois]
Ahmed Jebali [4 mois]
Djamel Tandjaoui [1 mois]
Deepak Verma [2 mois]

Précédent : Contraintes, Déduction automatique et Preuves Remonter : Contraintes, Déduction automatique et Preuves Suivant : Présentation et objectifs généraux