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
Edmund Clarke FLoC 2006.jpg
Información personal
Nombre en inglés Edmund Melson Clarke, Jr. Ver y modificar los datos en Wikidata
Nacimiento 27 de julio de 1945 Ver y modificar los datos en Wikidata
Newport News (Estados Unidos) Ver y modificar los datos en Wikidata
Fallecimiento 22 de diciembre de 2020 Ver y modificar los datos en Wikidata (75 años)
Pittsburgh (Estados Unidos) Ver y modificar los datos en Wikidata
Causa de la muerte COVID-19 Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense
Lengua materna Inglés Ver y modificar los datos en Wikidata
Educación
Educado en
Supervisor doctoral Robert Lee Constable Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informático teórico, profesor universitario, investigador, ingeniero y matemático Ver y modificar los datos en Wikidata
Área Ciencias de la información y ciencias de la computación Ver y modificar los datos en Wikidata
Empleador
Estudiantes doctorales E. Allen Emerson Ver y modificar los datos en Wikidata
Estudiantes E. Allen Emerson Ver y modificar los datos en Wikidata
Miembro de
Web
Sitio web

BiografíaEditar

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]

ReferenciasEditar

  1. 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 externosEditar


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov