EN FR
EN FR


Creation of the Team: 2009 March 01, updated into Project-Team: 2011 January 01

Section: Members

Research Scientists

Benedikt Bollig [CNRS, Researcher, HdR]

Stefan Haar [Team leader, Inria, Senior Researcher, HdR]

Faculty Members

Thomas Chatain [ENS Cachan, Associate Professor, HdR]

Paul Gastin [ENS Cachan, Professor, HdR]

Serge Haddad [ENS Cachan, Professor, HdR]

Claudine Picaronny [ENS Cachan, Associate Professor]

Stefan Schwoon [ENS Cachan, Associate Professor, HdR]

Engineer

Alban Linard [Inria, until Oct 2015]

PhD Students

Yann Duplouy [ENS Cachan, granted by Institut de Recherche SystemX]

Engel Lefaucheux [ENS Cachan/Inria Rennes]

Simon Theissing [Inria, granted by Institut de Recherche SystemX]

Administrative Assistant

Thida Iem [Inria]