Projet Eureca

previous up next contents
Précédent : Projet EURÉCA, Preuve, calcul symbolique Remonter : Projet EURÉCA, Preuve, calcul symbolique Suivant : Présentation générale et objectifs


Composition de l'équipe



Responsable scientifique
Pierre Lescanne [DR CNRS, détaché à l'ENS de Lyon à partir du 1/9/97]



Assistantes de projets
Céline Cordier [jusqu'au 14/2/97]
Bénédicte Lemaire [du 1/2/97 au 31/7/97]
Christelle Wagner [depuis le 1/9/97]



Personnel INRIA
Grégory Kucherov [CR]
Fabrice Rouillier [CR]
Paul Zimmermann [CR]



Personnel CNRS
Nicolas Hermann [CR]
Jean-Luc Rémy [CR]



Personnel Université Henri Poincaré Nancy 1
Zine-el-Abidine Benaissa [ATER, jusqu'au 31/10/97]
Daniel Briaud [ATER jusqu'au 31/8/97]
Boutheïna Chetali [ATER, mise à la disposition de DYADE jusqu'au 1/10/97, date à laquelle elle a été embauchée par DYADE]
Adam Cichon [Professeur]
Jocelyne Rouyer [Maître de conférences]
Joseph Rouyer [Professeur agrégé]
Hélène Touzet [ATER]



Chercheurs doctorants
François Bertault [boursier Centre Charles Hermite]
Guillaume Bonfante [allocataire MESR]
Vladimir Grébinski [boursier INRIA]
Barbara Heyd [allocataire MESR]
Laurent Juban [allocataire MESR]
Frédéric Lang [allocataire MESR, jusqu'au 30/9/97]
Sohame Selhab



Chercheurs invités
Sapphorain Pétermann [du 1/9/97 au 30/9/97 et du 1/11/97 au 31/12/97]
Phokion G. Kolaitis [en juin et juillet 1997]