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 (75 años); Pittsburgh (Estados Unidos)
Causa de muerte	COVID-19
Nacionalidad	Estadounidense
Lengua materna	Inglés
Educación
Educado en	Universidad de Virginia; Universidad Duke; Universidad Cornell;
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	Universidad Carnegie Mellon; Universidad Duke; Universidad de Harvard; Universidad Cornell;
Estudiantes doctorales	E. Allen Emerson
Estudiantes	E. Allen Emerson
Miembro de	IEEE; Association for Computing Machinery; Academia Nacional de Ingeniería (desde 2005); Academia Estadounidense de las Artes y las Ciencias (desde 2011);
Sitio web	www.cs.cmu.edu/~emc
Distinciones	ACM Fellow; IEEE Fellow; Miembro de la Academia Estadounidense de las Artes y las Ciencias; Paris Kanellakis Award (1999); Harry H. Goode Memorial Award (2004); Premio Turing (2007); Premio Herbrand (2008); Bower Award and Prize for Achievement in Science (2014); Medalla Benjamin Franklin (2014);

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]

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.

Predecesor: Frances Allen	Premio Turing 2007	Sucesor: Barbara Liskov

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.