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.
Referencias
Enlaces externos Anuncio del Premio Turing 2007. (en inglés)
Categoría:Alumnado de la Universidad Cornell Categoría:Informáticos teóricos de Estados Unidos Categoría:Ganadores del Premio Turing Categoría:Miembros honorarios de la Association for Computing Machinery Categoría:Fallecidos por pandemia de COVID-19 en Pensilvania Categoría:Doctores por la Universidad Cornell