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]

Thomas Chatain [ENS Cachan, Associate Professor, HdR]

Claudine Picaronny [ENS Cachan, Associate Professor, member since Sep 2013]

Stefan Schwoon [ENS Cachan, Associate Professor, HdR]

Engineer

Alban Linard [Inria]

PhD Students

Benoît Barbot [ENS Cachan]

Aiswarya Cyriac [ENS Cachan, until Dec 2013]

Benjamin Monmege [ENS Cachan, until Aug 2013]

Hernan Ponce de Leon [Inria]

César Rodríguez [ENS Cachan, until Oct 2013]

Simon Theissing [Inria, grant by Institut de Recherche SystemX, from Sep 2013]

Post-Doctoral Fellow

Loïg Jezequel [Inria, from Dec 2013]

Administrative Assistant

Thida Iem [Inria]

Other

Gonzalo Amadio [Inria Intern, student at Rosario University (Argentina), from Mar 2013 until Jul 2013]