Research Scientist

Xavier Leroy [ Team leader, DR INRIA ]
Damien Doligez [ CR INRIA ]
François Pottier [ DR INRIA, HdR ]
Didier Rémy [ Deputy team leader, DR INRIA, HdR ]
Na Xu [ CR INRIA, since November 2009 ]

Faculty Member

Roberto Di Cosmo [ Professor, on leave from U. Paris 7 Diderot, since September 2009, HdR ]

External Collaborator

Sandrine Blazy [ Assistant professor, ENSIIE, until August 2009, HdR ]
Michel Mauny [ Professor, ENSTA ]

Technical Staff

Xavier Clerc [ IR INRIA, SED, 40% part time ]

PhD Student

Arthur Charguéraud [ AMN grant, U. Paris 7 Diderot ]
Zaynah Dargaye [ ATER, ENSIIE, until August 2009 ]
Benoît Montagu [ AMX grant, Polytechnique ]
Alexandre Pilkiewicz [ AMX grant, Polytechnique ]
Nicolas Pouillard [ Digiteo grant, INRIA ]
Tahina Ramananandro [ AMN grant, U. Paris 7 Diderot ]
Jean-Baptiste Tristan [ ANR grant, INRIA, until September 2009 ]

Visiting Scientist

David MacQueen [ Professor, on sabbatical from U. Chicago, March–April 2009 ]

Administrative Assistant

Stéphanie Aubin [ TR INRIA, until April 2009 ]
Stéphanie Chaix [ Temporary personnel, since June 2009 ]

Other

Paolo Herms [ M2 graduate intern, March–July 2009 ]
Silvain Rideau [ ENS undergraduate intern, June–July 2009 ]