Edmund Clarke
informático teórico estadounidense
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.
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) | (75 años)|
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 |
| |
Biografía
editarPrincipalmente 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
editar- ↑ 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
editar- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |