Informático. Coautor del método conocido como Model-Checking (Verificación de Modelos), junto con Edmund M. Clarke y E. Allen Emerson, 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.
Joseph Sifakis
