x
1

Edmund Clarke



¿Qué día cumple años Edmund Clarke?

Edmund Clarke cumple los años el 27 de julio.


¿Qué día nació Edmund Clarke?

Edmund Clarke nació el día 27 de julio de 1945.


¿Cuántos años tiene Edmund Clarke?

La edad actual es 78 años. Edmund Clarke cumplirá 79 años el 27 de julio de este año.


¿De qué signo es Edmund Clarke?

Edmund Clarke es del signo de Leo.


¿Dónde nació Edmund Clarke?

Edmund Clarke nació en Newport News.


Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.

Principalmente reconocido por haber desarrollado el método conocido como "model checking", para verificar diseños de software o hardware.

Clarke fue 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.

Falleció el 22 de diciembre de 2020 a los 75 años a causa de COVID-19.[1]




Escribe un comentario o lo que quieras sobre Edmund Clarke (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!