Directeur de recherche Inria, responsable de l’équipe GALLIUM. Il est l’un des principaux auteurs du langage Caml.