Section: Members

Research Scientists

Radhia Cousot [Senior Researcher, CNRS, HdR]

Jérôme Feret [Junior Researcher, Inria Paris–Rocquencourt]

Antoine Miné [Junior Researcher, CNRS]

Xavier Rival [Team leader by interim, Junior Researcher, Inria Paris–Rocquencourt, HdR]

Faculty Member

Patrick Cousot [Team leader, Professor, ENS, HdR]

PhD Students

Mehdi Bouaziz [Nov. 2012 —]

Ferdinanda Camporesi

Vincent Laviron

Cheng Tie

Antoine Toubhans

Caterina Urban

Matteo Zanioli [— March 2012]

Post-Doctoral Fellows

Norman Ferns [Mars. 2012 —]

Luca Grieco [Oct. 2012 — Dec. 2012]

Jonathan Hayman [— Oct. 2012]

Pascal Sotin [— Aug. 2012]

Arnaud Spiwack [Sept. 2012 —]

Visiting Scientists

David Delmas [— Aug. 2012]

Yanjun Wen [— May 2012]

Administrative Assistants

Joëlle Isnard [Administrative Head DI, ENS]

Marine Meyer [Inria]