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]