![David Monniaux](https://conf.researchr.org/getProfileImage/davidmonniaux/35e0cf7f-41cb-48f8-9ad6-9c813c3bf8b4/small.jpg?1711474128000)
Registered user since Thu 11 Jun 2020
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
2016
POPL
POPL 2016-profile
View general profile
View general profile