Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Creation of the Team: 2012 September 01, updated into Project-Team: 2014 July 01
The Toccata team ( 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; 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]


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]


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]