Section: Members

Research Scientists

Claude Marché [Inria, Senior Researcher, Team leader, HDR]
Sylvie Boldo [Inria, Researcher, Team co-leader, HDR]
Arthur Charguéraud [Inria, Researcher, until Sep. 2016]
Jean-Christophe Filliâtre [CNRS, Senior Researcher, HDR]
Guillaume Melquiond [Inria, Researcher]

Faculty Members

Sylvain Conchon [Univ. Paris-Sud, Professor, HDR]
Andrei Paskevich [Univ. Paris-Sud, Associate Professor]
Christine Paulin-Mohring [Univ. Paris-sud, Professor, until Jun. 2016, HDR]

Engineers

Clément Fumex [Inria]
Sylvain Dailler [Inria, from Jun. 2016]

PhD Students

Cláudio Belo Da Silva Lourenço [Universidade do Minho, Portugal, visiting from Jun. to Dec. 2016]
Ran Chen [Institute of Software, Chinese Academy of Sciences, Beijing, China, visiting from May 2016 to Feb. 2017]
Martin Clochard [Univ. Paris-Sud (ENS grant)]
Albin Coquereau [ENSTA]
David Declerck [Univ. Paris-Sud]
Florian Faissole [Inria, from Oct 2016]
Léon Gondelman [Inria]
Mario José Parreira Pereira [Grant Portuguese government]
Mattias Roux [Univ. Paris-Sud]

Administrative Assistants

Régine Bricquet [Inria, until Jan 2016]
Katia Evrat [Inria, from Feb 2016]

Others

Thibaut Balabonski [Univ. Paris-Sud, associate member]
Chantal Keller [Univ. Paris-Sud, associate member]
Raphaël Rieu-Helft [Visitor, ENS, from Sep 2016]
Xavier Urbain [ENSIEE & LRI, associate member, until Aug 2016]