Previous | 
Home
Creation of the Project-Team: 2006 November 01
Section: Members
Research Scientists
Yves Bertot [Team leader, Inria, Senior Researcher, HdR]Cyril Cohen [Inria, Researcher]
Benjamin Grégoire [Inria, Researcher]
José Grimm [Inria, Researcher]
Laurence Rideau [Inria, Researcher]
Enrico Tassi [Inria, Researcher]
Laurent Théry [Inria, Researcher]
Engineer
Maxime Dénès [Inria, granted by Caisse des Dépôts et Consignations]PhD Student
Boris Djalal [Inria, from Mar 2015]Visiting Scientists
Isabela Dramnesc [University of Timisoara, from Jun 2015 until Jul 2015]Tsvetan Dunchev [University of Bologna, Jul 2015]
Administrative Assistant
Nathalie Bellesso [Inria]Others
Cécile Baritel-Ruet [ENS Cachan, Student, from Mar 2015 until May 2015]Jean-Yves Franceschi [ENS Lyon, Student, from Jun 2015 until Jul 2015]
Loic Pottier [Min. de l'Education Nationale, High School teacher, HdR]