Logo Logiciels
E
t
M
athématiques
M
E

in English

Membres

Philippe Audebaud Maître de Conférences (ENS Lyon), en délégation
Antonia Balaa Doctorante  
Gilles Barthe Chargé de recherche INRIA
Nathalie Bellesso Assistante du projet
Janet Bertot Ingénieur DREAM 
Yves Bertot Directeur de recherche INRIA, responsable permanent du projet 
Venanzio Capretta Post-doctorant  
Néstor Cataño Doctorant  
Jan Cederquist Post-doctorant  
Laurent Chicli Doctorant  
Pierre Courtieu Post-doctorant  
Kuntal Das Barman Doctorant  
Guillaume Dufay Doctorant
Frédérique Guilhot Professeur agrégé, détachée de l'Education nationale  
Marieke Huisman Chargée de recherche INRIA
André Hirschowitz Professeur UNSA, Laboratoire J.A.Dieudonné, collaborateur extérieur
Nicolas Magaud Doctorant  
Roger Marlin Professeur UNSA, Laboratoire J.A.Dieudonné, collaborateur extérieur
Hanane Naciri Doctorante  
Loïc Pottier Chargé de recherche INRIA, responsable scientifique du projet  
Leonor Prensa Post-doctorante  
Tamara Rezk
PhD student 
Laurence Rideau Chargée de recherche INRIA
Christoph Sprenger Post-doctorant  
Laurent Théry Chargé de recherche INRIA

Stagiaires

(printemps ou été)  

Jérôme Créci  
Sabrina Tarento  
Mariela Pavlova  
Amitabh Basu  
Joachim Habib  
Assia Mahboubi  
David Pichardie  

Anciens membres

Simao Melo de Sousa Doctorant
Francis Montagnac Ingénieur de recherche
Sorin Stratulat Post-doctorant
Didier Bondyfalat Post-doctorant
Ahmed Amerkad Ingénieur
Olivier Pons  
Yann Coscoy  
Stéphane Lavirotte  
Pascal Lequang  
Claude Pasquier  

 
Contact: Loic.Pottier@sophia.inria.fr ou Yves.Bertot@sophia.inria.fr .
Mise à jour: 22 octobre 2001