Previous | 
Home
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; http://vals.lri.fr/ ) of the LRI (Laboratoire de Recherche en Informatique, UMR 8623).
Creation of the Team: 2012 September 01Section: Members
Research Scientists
Claude Marché [Team leader, Inria, Senior Researcher, HdR]Sylvie Boldo [Team Vice-Leader, Inria, Researcher]
Arthur Charguéraud [Inria, Researcher]
Évelyne Contejean [CNRS, Researcher]
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 [Univ. Paris-Sud, Professor, HdR]
PhD Students
Martin Clochard [ENS Paris, from Sep. 2013]Claire Dross [Univ. Paris-Sud, CIFRE Adacore]
Stefania Dumbrava [Univ. Paris-Sud]
Levs Gondelmans [Univ. Paris-Sud, from Oct. 2013]
Mohamed Iguernelala [Univ. Paris-Sud, until Aug 2013]
Catherine Lelay [Inria, Digiteo grant Coquelicot]
Alain Mebsout [Univ. Paris-Sud]
Post-Doctoral Fellows
Asma Tafat Bouzid [Univ. Paris-Sud, A.T.E.R]Erik Martin-Dorel [Inria, ANR project Verasco, from Oct. 2013]