Edmund Clarke
informático teórico estadounidense
From Wikipedia, the free encyclopedia
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.
Nombre en inglés
Edmund Melson Clarke, Jr.
Nacimiento
27 de julio de 1945
Newport News (Estados Unidos)
Newport News (Estados Unidos)
Fallecimiento
22 de diciembre de 2020 (75 años)
Pittsburgh (Estados Unidos)
Pittsburgh (Estados Unidos)
Causa de muerte
COVID-19
| Edmund Clarke | ||
|---|---|---|
|
Edmund Clarke en 2006 | ||
| 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 (75 años) 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 |
| |
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]
