Logo Équipe Marelle Mathematics
A
R
easoning
E
L
(and software)
L
E
en Français
Lambdas

Members

Michaël Armand Ph.D Student
Nathalie Bellesso Project administrative assistant
Yves Bertot Senior researcher, Project leader
Guillaume Cano Ph.D Student
Maxime Dénès Ph. D Student
Benjamin Grégoire Researcher
José Grimm Researcher
Frédérique Guilhot High school teacher
Sylvain Heraud Ph.D Student
Nicolas Julien Ph.D Student
Anne Pacalet Research Engineer
Tuan-Minh Pham Ph.D Student
Loïc Pottier Senior Researcher
Laurence Rideau Researcher
Laurent Théry Researcher

Past Members

Philippe Audebaud Associate professor at (ENS Lyon)
Tom Hutchinson Engineer
Ekaterina Komendantskaya Post-Doctorate Researcher at St Andrews University
Vladimir Komendantsky Research programmer at St Andrews University
Assia Mahboubi Researcher in Typical team at INRIA Saclay
Evgeny Makarov Post-Doctorate Researcher
Ioana Pasca Post-Doctorate Researcher in Arénaire team at INRIA
Sidi Ould Biha Post-Doctorate Researcher at LIAMA, Sino French Lab in Computer in Beijing, China
Benoit Razet Visiting Fellow at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India
Jorge Luis Sacchini Postdoctoral Research Associate at Carnegie Mellon University in Qatar
Santiago Zanella Postdoctoral Research Fellow at IMDEA Software (Madrid institute for advanced studies), Spain
 
Contact: Yves.Bertot@sophia.inria.fr
Last updated: November 16th, 2010