Section: Members

Research Scientists

Xavier Rival [Team leader, Inria, Researcher, HdR]
Patrick Cousot [ENS Paris, Professor on leave of absence in 2013]
Radhia Cousot [CNRS, Senior Researcher (Emeritus)]
Jérôme Feret [Inria, Researcher]
Antoine Miné [CNRS, Researcher, HdR]

PhD Students

Ferdinanda Camporesi [ENS Paris & Bologna University]
Arlen Cox [Inria, granted by European Research Council, from Jul 2013]
Huisong Li [Inria, granted by European Research Council, from Oct 2013]
Mehdi Bouaziz [ENS Paris]
Tie Cheng [Inria, granted by European Research Council]
Antoine Toubhans [ENS Paris]
Caterina Urban [ENS Paris]

Post-Doctoral Fellows

Wassim Abou-Jaoudé [ENS Paris from December 2013]
Norman Ferns [ENS Paris, granted by ANR ABSTRACTCELL project]
Arnaud Spiwack [Inria, granted by European Research Council]

Visiting Scientist

Bor-Yuh Evan Chang [Invited Researcher, granted by European Research Council, from Jul 2013 until Aug 2013]

Administrative Assistant

Marine Meyer [Inria]

Others

Théo Zimmermann [Inria, Undergraduate Intern, granted by European Research Council, from Mar 2013 until May 2013]
Abdellatif Atki [École Polytechnique, M1 Intern, from April 2013 until July 2013]
Matthias Bry [École Polytechnique, M1 Intern, from April 2013 until July 2013]