Edmund Clarke cumple los años el 27 de julio.
Edmund Clarke nació el día 27 de julio de 1945.
La edad actual es 78 años. Edmund Clarke cumplirá 79 años el 27 de julio de este año.
Edmund Clarke es del signo de Leo.
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.
Escribe un comentario o lo que quieras sobre Edmund Clarke (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)