Mines ParisTech
Former student from École polytechnique (class of 1984), then from Mines ParisTech, engineer at the Corps des mines, he obtained a doctorate in information technology from École polytechnique in 1992 on the Semantics of imperative languages and higher-order abstract interpretation, under the direction of Patrick Cousot.