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 (B.A. en Matemáticas); Universidad Duke (M.A. en Matemáticas); Universidad Cornell (Ph.D. en Ciencias de la Computación) ;
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	IEEE Fellow; Miembro de la Academia Estadounidense de las Artes y las Ciencias; ACM Fellow (1998); Paris Kanellakis Award (1998); 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) ;
	[editar datos en Wikidata]

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[editar]

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[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

Datos: Q92819
Multimedia: Edmund M. Clarke / Q92819

[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.

[1]