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.
Biografía
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]
Referencias
Enlaces externos
- Anuncio del Premio Turing 2007. (en inglés)
