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

Section: Personnel

Research Scientists

Xavier Rival [Team leader, Inria, Senior Researcher, HDR]

Vincent Danos [CNRS, Senior Researcher, HDR]

Cezara Dragoi [Inria, Researcher]

Jerome Feret [Inria, Researcher]

Faculty Member

Patrick Cousot [New York University, Emeritus, until Nov 2017]

Post-Doctoral Fellow

Changhee Park [Inria, until Oct 2017]

PhD Students

Andreea Beica [Ecole Normale Supérieure Paris]

Marc Chevalier [Ecole Normale Supérieure Lyon, from Sep 2017]

Hugo Illous [Ecole Normale Supérieure Paris]

Huisong Li [Inria]

Thibault Suzanne [Ecole Normale Supérieure Paris]

Technical staff

Ferdinanda Camporesi [Inria]

Yves-Stan Le Cornec [Inria, from Sep 2017]

Jiangchao Liu [Inria, from Dec 2017]

Kim Quyen Ly [Inria]


Marc Chevalier [Ecole Normale Supérieure Lyon, until Aug 2017]

Guillaume Cluzel [Inria, from Jun 2017 until Aug 2017]

Sixiao Zhu [Inria, from Mar 2017 until Aug 2017]

Administrative Assistant

Nathalie Gaudechoux [Inria]