GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
David Monniaux

Registered user since Sat 23 May 2015

Name: David Monniaux

Bio: David Monniaux obtained his PhD in 2001 in Paris under Prof Patrick Cousot; his dissertation was on the static analysis of probabilistic programs by abstract interpretation. He then joined CNRS as a junior researcher and first worked on the Astrée static analyzer, still in Paris. In 2007 he transferred to VERIMAG in Grenoble, where he works on various aspects of program verification (decision procedures, abstract interpretation…).

He now is a senior researcher at CNRS and an adjunct professor at École polytechnique.

Affiliation: Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Personal website:

Research interests: program verification, abstract interpretation, satisfiability testing, quantifier elimination, logic, floating-point, embedded systems


SPLASH 2020Author of Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors within the OOPSLA-track
Author of Certified and Efficient Instruction Scheduling within the Posters-track
Show activities from other conferences

Using general profile