Previous | 
Home
The Team is joint with ENS and CNRS and is part of DIENS (UMR 8548). It is located in the École Normale Supérieure, in Paris.
Creation of the Team: 2014 January 01Section: Members
Research Scientists
Xavier Rival [Team leader, Inria, Researcher, HdR]Patrick Cousot [ENS Paris, Professor Emeritus, and Full Professor at the Courant Institute of Mathematical Sciences, NYU, USA]
Radhia Cousot [CNRS, Senior Researcher, Emerite, HdR]
Vincent Danos [CNRS, Senior Researcher, since September 2014, HdR]
Jérôme Feret [Inria, Researcher]
Antoine Miné [CNRS, Researcher, HdR]
Engineers
François Berenger [Inria, from July 2014]Pippijn Van Steenhoven [Inria, until July 2014]
PhD Students
Mehdi Bouaziz [ENS Paris, granted by ENS Paris]Ferdinanda Camporesi [ENS Paris, granted by ENS Paris]
Tie Cheng [Inria, granted by European Research Council]
Arlen Cox [Inria, granted by European Research Council, until Septemper 2014]
Huisong Li [Inria, granted by European Research Council]
Antoine Toubhans [Inria, granted by Ministère de la Recherche until August 2014, granted by European Research Council since September 2014]
Caterina Urban [ENS Paris, granted by ENS Paris]
Thibault Suzanne [ENS Paris, granted by École doctorale de Sciences Mathématiques de Paris Centre, since September 2014]
Post-Doctoral Fellows
Wassim Abou Jaoudé [ENS Paris, granted by ENS Paris]Norman Ferns [ENS Paris, granted by ENS Paris]
Arnaud Spiwack [Inria, granted by European Research Council, until August 2014]
Visiting Scientists
Sukyoung Ryu [KAIST, Associate Professor, Visiting Scientist, from Jul 2014 until Aug 2014]Kwangkeun Yi [SNU, Professor, Visiting Scientist, June 2014]
Abdelraouf Ouadjaout [PhD, CERIST Research Center, Alger, November 2014]
Administrative Assistants
Nathalie Gaudechoux [Inria, since May 2014]Marine Meyer [Inria, until April 2014]