- Edmund M. Clarke
-
Edmund M. Clarke
Edmund Melson Clarke, Jr. (*27 de julio de 1945) es un informático teórico estadounidense, principalmente reconocido por haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.
Clarke es el Profesor FORE Systems de Ciencias de la Computación en la Universidad Carnegie Mellon. Junto con E. Allen Emerson y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Enlaces externos
- (en inglés) Página personal en Carnegie Mellon
- (en inglés) Anuncio del Premio Turing 2007
Categorías: Nacidos en 1945 | Informáticos teóricos de Estados Unidos | Ganadores Premio Turing | Miembros honorarios de la Association for Computing Machinery
Wikimedia foundation. 2010.