Members
Overall Objectives
Research Program
Application Domains
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

Stefan Haar [Team leader, Inria, Senior Researcher, HdR]
Benedikt Bollig [CNRS, Researcher]

Faculty Members

Paul Gastin [ENS Cachan, Professor, HdR]
Serge Haddad [ENS Cachan, Professor, HdR]
Stefan Schwoon [ENS Cachan, Associate Professor, HdR]
Thomas Chatain [ENS Cachan, Associate Professor, HdR]
Claudine Picaronny [ENS Cachan, Associate Professor]

Engineer

Alban Linard [Inria, Engineer]

PhD Students

Benoît Barbot [ENS Cachan, PhD Student, until Nov 2014]
Hernán Ponce de León [Inria, PhD Student, until Nov 2014]
Simon Theissing [Inria, PhD Student with SystemX]
Aiswarya Cyriac [ENS Cachan, PhD Student, until Jan 2014]

Post-Doctoral Fellow

Loïg Jezequel [Inria, PostDoc, until Aug 2014]

Administrative Assistant

Thida Iem [Inria, Assistant]

Others

Konstantinos Athanasiou [Inria, Intern, from Apr 2014 until Aug 2014]
Francisco Andres Gimenez [CNRS, Intern, from Mar 2014 until Aug 2014]