Tugurium/GTI

Glosario Terminología Informática

Clarke, Edmund Melson

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

Edmund M. Clarke