0 Estados Unidos, 1954 -Informático. Coautor del método conocido como Model-Checking (Verificación de Modelos), junto con Edmund M. Clarke y Joseph Sifakis, que se ha demostrado como una eficaz tecnología de verificación, ampliamente adoptada en los campos de hardware y software. Galardonado con el Premio Turing en 2007.2008-06-09
