Difference between revisions of "User:David Monniaux"
(Created page with "<math>\int_1^2 x dx = 3/2</math>")
|Line 1:||Line 1:|
Revision as of 21:21, 24 October 2012
He obtained his PhD in 2001 from Université Paris Dauphine, doing his research work at the computer science laboratory of the École Normale Supérieure in Paris with Patrick Cousot as advisor. In 2009, he obtained his habilitation from Université Joseph Fourier.