INRIA CMA Université de Provence
Permanent members Roberto Amadio Gérard Boudol (project leader) Frédéric Boussinot Ilaria Castellani Davide Sangiorgi PhD students Cédric Lhoussaine Massimo Merro Jean-Ferdinand Susini
Roberto Amadio Gérard Boudol (project leader) Frédéric Boussinot Ilaria Castellani Davide Sangiorgi
Cédric Lhoussaine Massimo Merro Jean-Ferdinand Susini
Dominique Micollier Catherine Juncker
Silvano Dal-Zilio (now at Microsoft, Cambridge)