Edmund Clarke

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
Nombre de nacimiento Edmund Melson Clarke
Nacimiento 27 de julio de 1945
Flag of the United States.svg Estados Unidos
Nacionalidad Estadounidense
Alma máter
Ocupación Informático teórico y ingeniero
Empleador
Premios
Sitio web
[editar datos en Wikidata]

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[editar]


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov