Logo Équipe Marelle Mathématiques
A
R
aisonnement
E
L
ogiciel
L
E
in English
Lambdas

Membres

Michaël Armand Doctorant
Nathalie Bellesso Assistante de projet
Yves Bertot Directeur de Recherche, Responsable scientifique
Guillaume Cano Doctorant
Maxime Dénès Doctorant
Benjamin Grégoire Chargé de Recherche
José Grimm Chargé de Recherche
Frédérique Guilhot Professeur de l'Education Nationale
Sylvain Heraud Doctorant
Nicolas Julien Doctorant
Anne Pacalet Ingénieur expert
Tuan-Minh Pham Doctorant
Loïc Pottier Chargé de Recherche, Habilité à Diriger des Recherches
Laurence Rideau Chargé de Recherche
Laurent Théry Chargé de Recherche

Past Members

Philippe Audebaud Maître de Conférences, Equipe Plume, ENS-Lyon
Thomas Hutchinson Engineer
Ekaterina Komendantskaya Post-Doctorante à St Andrews University
Vladimir Komendantsky Research programmer à St Andrews University
Assia Mahboubi Chargée de Recherche, Equipe Typical, INRIA Saclay
Evgeny Makarov Post-Doctorant
Ioana Pasca Post-Doctorante, Equipe Arénaire, INRIA Grenoble Rhône-Alpes
Sidi Ould Biha Post-Doctorant au LIAMA, Laboratoire en informatique Franco-chinois à Beijing, Chine
Benoit Razet Post-doctorant à l'Institut Tata de Recherche Fondamentale (TIFR) à Mumbai, Inde
Jorge-Luis Sacchini Post-doctorant à l'Université Carnegie Mellon au Qatar
Santiago Zanella Doctorant à IMDEA Software (Madrid institute for advanced studies), Espagne
 
Contact: Yves.Bertot@sophia.inria.fr
Dernière mise à jour : 26 novembre 2010