Write a Blog >>
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

Contributions

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
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)
Show activities from other conferences

POPL 2016-profile
View general profile