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]