Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


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]