|
|
|
| e-Pub |
Previous | 
Home
Creation of the Team: 2012 September 01, updated into Project-Team: 2014 July 01
The Toccata team (http://toccata.lri.fr/) is a research
team common to Inria Saclay–Île-de-France, CNRS, and Université
Paris-Sud. Team members are also members of the larger VALS research
group (Verification of Algorithms, Languages and systems;
http://vals.lri.fr/) of the LRI (Laboratoire de Recherche en
Informatique, UMR 8623).
Section: Members
Research Scientists
Claude Marché [Team leader, Inria, Senior Researcher, HdR]Sylvie Boldo [Inria, Researcher, HdR]
Arthur Charguéraud [Inria, Researcher]
Évelyne Contejean [CNRS, Researcher, HdR]
Jean-Christophe Filliâtre [CNRS, 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, HdR]
Engineers
Clément Fumex [Inria]David Hauzar [Inria]
Catherine Lelay [Inria, until Aug 2015]
PhD Students
Martin Clochard [Univ. Paris-Sud]Albin Coquereau [ENSTA]
David Declerck [Univ. Paris-Sud]
Stefania Dumbrava [Univ. Paris-Sud]
Léon Gondelmans [Univ. Paris-Sud]
Jacques Charles Mbiada Ndjanda [CEA, until Oct 2015]
Mario José Parreira Pereira [Grant Portuguese government, from May 2015]
Mattias Roux [Univ. Paris-Sud]
Administrative Assistant
Régine Bricquet [Inria]Others
Thibaut Balabonski [Associate member, Univ. Paris-Sud]Chantal Keller [Associate member, Univ. Paris-Sud]
Michael Marcozzi [Post-doc, until Oct 2015]
Andrew Tolmach [Univ. Paris-Sud, until Aug 2015]
Xavier Urbain [Associate member, ENSIEE & LRI]