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, from October 2014]
José Grimm [Inria, Researcher]
Benjamin Grégoire [Inria, Researcher]
Laurence Rideau [Inria, Researcher]
Enrico Tassi [Inria, Researcher, from September 2014]
Laurent Théry [Inria, Researcher]
Visiting Scientists
Amy Felty [Professor at University of Ottawa, Canada, on sabbatical leave, until Aug 2014]Douglas Howe [Professor at Carleton University, Canada, until Jul 2014]
Administrative Assistant
Nathalie Bellesso [Inria]Others
Sophie Bernard [ENS Lyon, Master-2 student, from Mar 2014 until Aug 2014]Guillaume Cano [Doctoral student, Inria, until Mar 2014]
Loic Pottier [Min. de l'Education Nationale, Researcher, HdR]