The project is located at the LSV, a joint INRIA-CNRS-ENSC lab at ENS Cachan.

Section: Members

Research Scientists

Benedikt Bollig [Research Associate (CR) CNRS]

Stefan Haar [Team leader, Research Director (DR) Inria since October 2010, HdR]

Marc Zeitoun [Professor on leave from Bordeaux, until August 2011, HdR]

Faculty Members

Thomas Chatain [Maître de Conférence ENS Cachan]

Paul Gastin [Professor ENS Cachan, HdR]

Serge Haddad [Professor ENS Cachan, HdR]

Stefan Schwoon [Maître de Conférence ENS Cachan, Chaire INRIA]

PhD Students

Sandie Balaguer [since September 2010]

Benoît Barbot [since September 2011]

Aiswarya Cyriac [since September 2010]

Hilal Djafri [since October 2008]

Benjamin Monmege [since September 2010]

Hernán Ponce de Léon [since September 2011]

Cesar Rodriguez [since September 2010]

Administrative Assistant

Isabelle Biercewicz [Secretary (SAR) Inria, until September 2011]