Edmund Clarke para niños

Datos para niños 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.

Véase también

En inglés: Edmund M. Clarke Facts for Kids