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

VMCAI Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Program Analysis with Local Policy Iteration
Session Chair of Hybrid and Timed Systems (part of VMCAI)
POPL 2016 Session 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