Gérard Boudol
this page has been transferred to a new location:
http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol/