EN FR
EN FR


Creation of the Team: 2014 January 01, updated into Project-Team: 2015 April 01

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]