EN FR
EN FR


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]