Section: Members

Research Scientists

Xavier Rival [Team leader, Inria, Senior Researcher, HDR]
Patrick Cousot [ENS Paris, Professor Emeritus, HDR]
Vincent Danos [CNRS, Senior Researcher, HDR]
Cezara Dragoi [Inria, Researcher]
Jérôme Feret [Inria, Researcher]

Engineers

Francois Berenger [Inria]
Tie Cheng [Inria, until May 2016]
Kim Quyen Ly [Inria]

PhD Students

Mehdi Bouaziz [Inria, until Nov 2016]
Ferdinanda Camporesi [Inria]
Huisong Li [Inria]
Jiangchao Liu [Inria]
Hugo Illous [CEA, ENS]
Thibault Suzanne [ENS Paris]
Andreea Beica [ENS Paris]
Patric Fulop [University of Edinburgh and ENS Paris]

Post-Doctoral Fellows

Ilias Garnier [ENS Paris and University of Edinburgh]
Nicolas Behr [ENS Paris and University of Edinburgh]
Ricardo Honorato-Zimmer [ENS Paris and University of Edinburgh]

Visiting Scientist

Kwangkeun Yi [Seoul National University, until Oct 2016]

Administrative Assistant

Nathalie Gaudechoux [Inria]