VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
David Monniaux

Registered user since Sat 23 May 2015

Name: David Monniaux

Bio: I am senior researcher (directeur de recherche) at CNRS, the largest French national scientific research agency. I work at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. I also am part-time associate professor (professeur chargé de cours d’exercice incomplet, quite a mouthful) at École polytechnique near Paris, where I teach logic, computability, complexity and software verification.

Affiliation: CNRS, VERIMAG

Personal website: http://www-verimag.imag.fr/~monniaux/

Contributions

VMCAIAuthor of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track
Author of Program Analysis with Local Policy Iteration within the VMCAI-track
Session Chair of Hybrid and Timed Systems (part of VMCAI)
POPL 2016Session Chair of Track 1: Learning and verification (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile