Edmund Clarke
Edmund Clarke | ||
---|---|---|
![]() | ||
Información personal | ||
Nombre en inglés | Edmund Melson Clarke, Jr. ![]() | |
Nacimiento | 27 de julio de 1945 ![]() Newport News (Estados Unidos) ![]() | |
Fallecimiento | 22 de diciembre de 2020 ![]() Pittsburgh (Estados Unidos) ![]() | |
Causa de muerte | COVID-19 ![]() | |
Nacionalidad | Estadounidense | |
Lengua materna | Inglés ![]() | |
Educación | ||
Educado en |
| |
Supervisor doctoral | Robert Lee Constable ![]() | |
Información profesional | ||
Ocupación | Informático teórico, profesor universitario, ingeniero y matemático ![]() | |
Área | Ciencias de la información y ciencias de la computación ![]() | |
Empleador |
| |
Estudiantes doctorales | E. Allen Emerson ![]() | |
Estudiantes | E. Allen Emerson ![]() | |
Miembro de |
| |
Sitio web | www.cs.cmu.edu/~emc ![]() | |
Distinciones |
| |
[editar datos en Wikidata] |
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
- ↑ Byron Spice (23 de diciembre de 2020). «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors». Carnegie Mellon University (en inglés). Consultado el 25 de diciembre de 2020.
Enlaces externos
- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |
Datos: Q92819
Multimedia: Edmund M. Clarke / Q92819