Previous | 
Home
Creation of the Team: 2012 January 01, end of the Team: 2013 December 31.
Section: Members
Research Scientists
Laurent Hascoet [Team leader, Inria, Senior Researcher, HdR]Alain Dervieux [Inria, Senior Researcher, HdR]
Valérie Pascual [Inria, Researcher]
PhD Students
Gautier Brethes [Inria, LEMMA]Alexandre Carabias [Inria]
Ala Taftaf [Inria, from Jul 2013]
Visiting Scientists
Bruno Koobus [Univ. Montpellier II]Stephen Wornom [LEMMA]