User:David Monniaux

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.

See professional Web page and list of publications