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]