Homepage Inria website

Creation of the Project-Team: 2014 January 01

Section: Members

Research Scientists

Laurent Hascoët [Team leader, Inria, Senior Researcher, HdR]

Alain Dervieux [Inria, Senior Researcher, HdR]

Valérie Pascual [Inria, Researcher]

PhD Students

Gautier Brèthes [Inria, LEMMA]

Eléonore Gauci [Inria, from Apr 2014]

Ala Taftaf [Inria]

Visiting Scientists

Bruno Koobus [University Montpellier II]

Stephen Wornom [LEMMA]

Administrative Assistant

Claire Senica [Inria]