Previous | 
Home
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).
Creation of the Team: 2012 September 01, updated into Project-Team: 2014 July 01Section: Members
Research Scientists
Claude Marché [Team leader, Inria, Senior Researcher, HdR]Sylvie Boldo [Team co-leader, 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]
Engineer
Clément Fumex [Inria, from Nov 2014, ProofInUse grant]PhD Students
Martin Clochard [Univ. Paris-Sud]David Declerck [Univ. Paris-Sud, from Oct. 2014 (M2 intern from Mar. to Sep.)]
Claire Dross [Univ. Paris-Sud, until Apr 2014, CIFRE AdaCore grant]
Stefania Dumbrava [Univ. Paris-Sud]
Levs Gondelmans [Univ. Paris-Sud]
Catherine Lelay [Inria]
Jacques-Charles Mbiada Ndjanda [from Nov 2014, CEA grant]
Post-Doctoral Fellows
Michael Marcozzi [Inria, from Nov 2014, ERCIM grant]Érik Martin-Dorel [Inria, until Aug 2014, VERASCO grant]
Alain Mebsout [Inria, CAFEIN grant (PhD until Sep.)]
Asma Tafat Bouzid [Univ. Paris-Sud, ATER, until Aug 2014]
Visiting Scientists
Pierre Roux [ONERA, Toulouse, until Aug 2014]Bas Spitters [Nijmegen University, the Netherlands, from Apr 2014 until Jun 2014]
Andrew Tolmach [Portland State University, USA, from Sep 2014, Digiteo Chair]
Administrative Assistant
Régine Bricquet [Inria]Others
Yohan Chatelain [L3 intern Univ. Paris-Sud, from May 2014 until Jun 2014]Jacques-Pascal Deplaix [Intern EPITECH, from May 2014 until Aug 2014]
Julien Grangier [M1 intern ENSIEE, from Jun 2014 until Sep 2014]
Xavier Onfroy [L3 intern ENS Lyon, from Jun 2014 until Jul 2014]
Thibaut Balabonski [Associate member, Univ. Paris-Sud, Associate Professor, from Oct 2014]
Xavier Urbain [Associate Member, ENSIEE, Associate Professor]
Mohamed Iguernelala [Associate Member, Research Engineer at OCamlPro]