Research Scientist

Claude Marché [ Team Vice-Leader, DR INRIA, HdR ]
Sylvie Boldo [ CR INRIA ]
Évelyne Contejean [ CR CNRS ]
Jean-Christophe Filliâtre [ CR CNRS ]
Guillaume Melquiond [ CR INRIA ]

Faculty Member

Christine Paulin-Mohring [ Team Leader, Professor University Paris-Sud 11, HdR ]
Marc Pouzet [ Professor University Paris-Sud 11, member of IUF, HdR ]
Sylvain Conchon [ Assistant Professor Université Paris-Sud 11, delegation INRIA since Sep. 09 ]
Louis Mandel [ Assistant Professor Université Paris-Sud 11 ]
Andrei Paskevich [ Assistant Professor Université Paris-Sud 11, since Sep. 09 ]
Xavier Urbain [ Assistant Professor ENSIIE, Delegation CNRS since Sep. 09 ]

Technical Staff

Alain Mebsout [ Engineer INRIA, since Oct. 09 ]

PhD Student

Cédric Auger [ University Paris-Sud 11 ]
Romain Bardou [ University Paris-Sud 11 ]
Nicolas Bertaux [ CORDI INRIA ]
François Bobot [ ÉNS Cachan until Aug. 09, then University Paris-Sud 11 ]
Léonard Gérard [ ÉNS Lyon until Aug. 09, then University Paris-Sud 11 ]
Paolo Herms [ CEA grant, since Oct. 09 ]
Mohamed Iguernelala [ University Paris-Sud 11, since Sep. 09 ]
Johannes Kanig [ CORDI INRIA ]
Stéphane Lescuyer [ INRIA, on leave from X-Mines ]
Yannick Moy [ CIFRE France Télécom, Lannion, until Jan. 09 ]
Thi-Minh-Tuyen Nguyen [ INRIA Digiteo grant, since Feb. 09 ]
Florence Plateau [ University Paris-Sud 11 ]
Asma Tafat Bouzid [ University Paris-Sud 11, since Sep. 09 ]
Wendi Urribarrí [ France-Venezuela scholarship ]

Post-Doctoral Fellow

Ali Ayad [ Post-doc CNRS, until Jan. 09 ]
Krishnamani Kalyanasundaram [ Post-doc INRIA, since Sep. 09 ]

Administrative Assistant

Régine Bricquet [ TR INRIA ]

Other

Arthur Milchior [ ENS Paris, undergraduate internship, June to August 09 ]
Julien Robert [ University Paris-Sud 11, Jane Street Summer Project, June to August 09 ]
Guillaume Von Tokarski [ University Paris-Sud 11, Jane Street Summer Project, June to August 09 ]