Composition de l'équipe

Responsable scientifique
Claude Kirchner [DR Inria]

Responsable permanente
Hélène Kirchner [DR CNRS]

Secrétaire
Christelle Bergeret [TR Inria]

Personnel Inria
Adel Bouhoula [CR]
Isabelle Gnaedig-Antoine [CR]
Christophe Ringeissen [CR]
Michaël Rusinowitch [DR]

Personnel CNRS
Eric Domenjoud [CR]

Personnel Université
Denis Lugiez [maître de conférences, UHP, jusqu'au 31/8/97]
Laurent Vigneron [maître de conférences, Université Nancy 2, à partir du 1/9/97]

Ingénieurs experts
Iliès Alouini [à partir du 1/10/97]
Jian Yang Zhou [à partir du 1/7/97]

Chercheur post-doctorant
Bernhard Gramlich [Boursier Inria, TMR Marie Curie]

Chercheurs invités
Nachum Dershowitz [six semaines]
Christopher Lynch [un mois]
Paliath Narendran [trois mois]
Rakesh Verma [jusqu'au 30/6/97]

Chercheur extérieur
Denis Lugiez [à partir du 1/9/97]

Chercheurs doctorants
Farid Ajili [boursier CNOUS et Inria jusqu'au 30/9/97 puis ATER (Université Nancy 2)]
Iliès Alouini [ATER (UHP) jusqu'au 30/8/97]
Narjès Berregeb [ ATER (Université Nancy 2) jusqu'au 30/8/97]
Peter Borovanský [boursier CNOUS et Inria]
Carlos Castro [boursier de l'Université Technique Federico Santa Maria, Chili, et Inria]
Horatiu Cirstea [boursier Inria]
Hubert Dubois [allocataire MENESR à partir du 1/10/97]
Thomas Genet [allocataire MENESR jusqu'au 31/8/97 puis ATER (Université Nancy 2)]
Pierre-Etienne Moreau [allocataire MENESR]
Christelle Scharff [allocataire MENESR]
Sorin Stratulat [boursier Inria]
Pauline Strogova [boursière MAE et Inria jusqu'au 28/2/97]

Précédent : Projet PROTHEO, Contraintes, Déduction Automatique Remonter : Projet PROTHEO, Contraintes, Déduction Automatique Suivant : Présentation générale et objectifs