Previous | 
Home
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]
Interns
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]