EN FR
EN FR


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]