Edmund Clarke

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
Nombre Edmund Melson Clarke
Nacimiento 27 de julio de 1945 (69 años)
Flag of the United States.svg Estados Unidos
Nacionalidad estadounidense
Alma máter Universidad de Duke, Universidad Cornell
Ocupación profesor, investigador, informático
Empleador Universidad de Harvard
Premios Premio Turing en 2007
Sitio web
Edmund Melson 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[editar]


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov