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 [Junior Researcher, INRIA Paris–Rocquencourt, HdR]

Faculty Members

Julien Bertrane [— Aug. 2011]

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

PhD Students

Mehdi Bouaziz [Nov. 2011 —]

Ferdinanda Camporesi

Vincent Laviron

Cheng Tie [Oct. 2011 —]

Antoine Toubhans [Sep. 2011 —]

Caterina Urban [Dec. 2011 —]

Matteo Zanioli

Post-Doctoral Fellows

Jonathan Hayman [Nov. 2011 —]

Tahina Ramananandro [Sep. 2011 —]

Alessandro Romanel [Jan. 2011 — Nov. 2011]

Pascal Sotin [Oct. 2011 —]

Visiting Scientists

David Delmas [Sep. 2011 —]

Yanjun Wen [Jun. 2011 —]

Administrative Assistants

Joëlle Isnard [Administrative Head DI, ENS]

Marine Meyer [INRIA, Apr. 2011 —]