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]

Eléonore Gauci [Inria]

Ala Taftaf [Inria]

Post-Doctoral Fellow

Guilherme Coelho Cunha [Inria, from Mar 2015]

Visiting Scientists

Olivier Allain [LEMMA]

Marcin Wyrozebski [Warsaw University of Technology, from Sep 2015 until Oct 2015]

Administrative Assistant

Christine Claux [Inria]


Raphaël Couronné [Etudiant SUPELEC, from Jul 2015 until Sep 2015]

Bruno Koobus [Univ. Montpellier II]

Stephen Wornom [LEMMA]