He received a Master degree in Theoretical Computer Science from University Paris VI.
He received Docter degree at Ecole des Mines de Paris under the advisory of Pierre Jouvelot.
He worked three years at the European Computer-Industry Research Centre in Munich.
He joined INRIA in 1995, in the EPART project-team of Paul Le Guernic.
He led INRIA project-team ESPRESSO from 2000 to 2012.
Now, he lead project-team TEA.
He is recipient of the 2004 ACM SIGPLAN Award for the most influential POPL paper, with Mads Tofte, and of the 2012 ACM-IEEE LICS "Test of Time" Award, with Pierre Jouvelot.
He received the 2014 ITEA Award of Excellence for his contribution as work-package leader in the ITEA2 project OPEES (2010-2012), leaded by Gael Blondel.