Logiciels Et Mathématiques M E

en Français

Home Team Software Internship Activity reports Actions AOC , S-Java, Modocop, and Concert Seminar

Members Philippe Audebaud Assistant Professor (ENS Lyon) Antonia Balaa PhD student    Gilles Barthe INRIA Researcher Nathalie Bellesso Assistante du projet Janet Bertot Engineer   Yves Bertot INRIA Researcher, deputy leader of the project Venanzio Capretta Post-doc   Néstor Cataño PhD student   Jan Cederquist Post-doct   Laurent Chicli PhD student   Pierre Courtieu Post-doc Kuntal Das Barman PhD student   Guillaume Dufay PhD student   Frédérique Guilhot Professor Marieke Huisman INRIA Researcher André Hirschowitz Professor UNSA, Laboratoire J.A.Dieudonné.   Nicolas Magaud PhD student   Roger Marlin Professor UNSA, Laboratoire J.A.Dieudonné.   Hanane Naciri PhD student   Loïc Pottier INRIA Researcher, scientific leader of the project   Leonor Prensa Post-doc   Tamara Rezk PhD student  Laurence Rideau INRIA Researcher Christoph Sprenger Post-doc   Laurent Théry INRIA Researcher Internship Jérôme Créci   Sabrina Tarento   Mariela Pavlova   Amitabh Basu   Joachim Habib   Assia Mahboubi   David Pichardie   Ex-members Simao Melo de Sousa PhD student Francis Montagnac Engineer Sorin Stratulat Post-doc Didier Bondyfalat Post-doc Ahmed Amerkad Engineer Olivier Pons   Yann Coscoy   Stéphane Lavirotte   Pascal Lequang   Claude Pasquier

Contact: Loic.Pottier@sophia.inria.fr or Yves.Bertot@sophia.inria.fr .

Updated: 22-10-2001