Research Scientist

Bruno Blanchet [ CR, CNRS, HdR ]
Radhia Cousot [ DR, CNRS, HdR ]
Jérôme Feret [ CR, INRIA Paris–Rocquencourt ]
Antoine Miné [ CR, CNRS ]
Xavier Rival [ CR, INRIA Paris–Rocquencourt ]

Faculty Member

Patrick Cousot [ Team leader, Professor/Professeur, ENS, HdR ]
Laurent Mauborgne [ Assistant Professor/Maître de conférences, ENS, HdR ]

Technical Staff

Élodie-Jane Sims [ Research engineer, ENS, — Sep. 2009, INRIA, Oct. 2009 — ]

PhD Student

David Cadé [ Sep. 2009 — ]
Liqian Chen [ Mar. 2009 — ]
Pietro Ferrara [ — Mar. 2009 ]
Vincent Laviron [ Sep. 2009 — ]
Jérémy Leconte [ Sep. 2009 — ]
Matteo Zanioli [ Sep. 2009 — ]

Post-Doctoral Fellow

Julien Bertrane
Axel Simon
Colas Le Guernic [ Nov. 2009 — ]

Visiting Scientist

Miriam Paiola [ Università di Padova, Sep. 2009 — Apr. 2010 ]
Ben Smyth [ University of Birmingham, Sep. 2009 — Feb. 2010 ]

Administrative Assistant

Joëlle Isnard [ Administrative Head DI, ENS ]
Elisabeth Baque [ INRIA, — Aug. 2009 ]
Emmanuelle Grousset [ INRIA, Aug. 2009 — Nov. 2009 ]
Nathalie Abiola [ INRIA, Nov. 2009 — ]