Difference between revisions of "User:David Monniaux"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
He obtained his PhD in 2001 from [[wikipedia:Université Paris Dauphine|Université Paris Dauphine]], doing his research work at the computer science laboratory of the [[wikipedia:École Normale Supérieure|École Normale Supérieure]] in Paris with [[wikipedia:Patrick Cousot|Patrick Cousot]] as advisor. In 2009, he obtained his [[wikipedia:habilitation|habilitation]] from [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]]. | He obtained his PhD in 2001 from [[wikipedia:Université Paris Dauphine|Université Paris Dauphine]], doing his research work at the computer science laboratory of the [[wikipedia:École Normale Supérieure|École Normale Supérieure]] in Paris with [[wikipedia:Patrick Cousot|Patrick Cousot]] as advisor. In 2009, he obtained his [[wikipedia:habilitation|habilitation]] from [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]]. | ||
| + | |||
| + | See [http://www-verimag.imag.fr/~monniaux professional Web page]. | ||
Revision as of 20:22, 24 October 2012
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.
