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
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)
Predecesor: Frances Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |
🔥 Top keywords: Wikipedia:PortadaLiga de Campeones de la UEFAEspecial:BuscarLiga de Campeones de la UEFA 2023-24Cleopatra I de EgiptoReal Madrid Club de FútbolBayern de MúnichRevolución del 19 de abril de 1810Arsenal Football ClubAndriy LuninManchester City Football ClubPornhubJude BellinghamTabla periódica de los elementosYouTubeChatGPTCarlo AncelottiPep GuardiolaJérémy DokuAntonio RíosÁlex de MiñaurBorussia DortmundFútbol Club BarcelonaRafael NadalCleopatraFallout (serie)Antonio RüdigerCopa Mundial de Clubes de la FIFA 2025Erling HaalandGabriel García MárquezArroba (símbolo)Fallout (serie de televisión)BaloncestoRodri HernándezSegunda Guerra MundialLockheed Martin F-16 Fighting FalconCristiano RonaldoOusmane DembéléBrahim Díaz