User:David Monniaux
Revision as of 20:22, 24 October 2012 by David Monniaux (talk | contribs)
Dr David Monniaux is senior researcher (directeur de recherche) at CNRS, France's largest national research organization. He is also part-time associate professor at École polytechnique near Paris.
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.
