Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


The project team is located at LSV, a joint Inria-CNRS-ENSC laboratory at ENS Cachan.

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]
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]