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]