L
ogiciels
E
t
M
athématiques
M
E
in English
Accueil.
Equipe
Logiciels.
Stages.
Rapport d´activité
Actions
AOC
,
S-Java
,
Modocop
et
Concert
Séminaire.
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