Précédent : Projet
EURÉCA, Preuve, calcul symbolique Remonter :
Projet EURÉCA, Preuve,
calcul symbolique Suivant : Présentation générale et
objectifs
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]