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]