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: Team, Visitors, External Collaborators
Research Scientists
Claude Marché [Team leader, Inria, Senior Researcher, HDR]Sylvie Boldo [Inria, Senior Researcher, HDR]
Jean-Christophe Filliâtre [CNRS, Senior Researcher, HDR]
Guillaume Melquiond [Inria, Researcher, HDR]
Faculty Members
Sylvain Conchon [Univ Paris-Sud, Professor, HDR]Thibault Hilaire [Délégation de l'Univ Pierre et Marie Curie, Associate Professor, until Aug 2019]
Andrei Paskevich [Univ Paris-Sud, Associate Professor]
Post-Doctoral Fellows
Cláudio Lourenço [Univ Paris-Sud, until Aug 2019]Florian Steinberg [Inria, until Sep 2019]
PhD Students
Albin Coquereau [École Nationale Supérieure de Techniques Avancées, until Jun 2019]Florian Faissole [Inria, until Sep 2019]
Diane Gallois-Wong [Univ Paris-Sud]
Quentin Garchery [Univ Paris-Sud]
Antoine Lanco [Inria, from Oct 2019]
Mário Pereira [Grant Portuguese government, until Apr 2019]
Raphaël Rieu-Helft [CIFRE TrustInSoft]
Mattias Roux [Univ Paris-Sud]
Technical staff
Benedikt Becker [Inria, Engineer]Cláudio Lourenço [Inria, Engineer, from Sep 2019]
Sylvain Dailler [Inria, Engineer]
Rehan Malak [Inria, Engineer, from Apr 2019 until Sep 2019]
Administrative Assistant
Katia EvratExternal Collaborators
Thibaut Balabonski [Univ Paris-Sud, Associate Professor]Chantal Keller [Univ Paris-Sud, Associate Professor]
Benjamin Farinier [Univ Grenoble Alpes, A.T.E.R, until Sep 2019]