Section: Members

Research Scientists

Xavier Rival [Team leader, Inria, Researcher, HdR]
Patrick Cousot [ENS Paris, Professor Emeritus]
Vincent Danos [CNRS, HdR]
Cezara Drăgoi [Inria, Researcher, from Feb 2015]
Jérôme Feret [Inria, Researcher]
Antoine Miné [CNRS, Researcher, until Aug 2015, HdR]

Engineers

Francois Berenger [Inria]
Tie Cheng [Inria]
Kim Quyen Ly [Inria]

PhD Students

Mehdi Bouaziz [ENS Paris]
Ferdinanda Camporesi [ENS Paris]
Huisong Li [Inria]
Illous Hugo [CEA]
Thibault Suzanne [ENS Paris]
Antoine Toubhans [Inria, PhD student, until Aug 2015]
Caterina Urban [ENS Paris, until Aug 2015]

Post-Doctoral Fellow

Ilias Garnier [ENS Paris]

Administrative Assistant

Nathalie Gaudechoux [Inria]