Edmund Clarke

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
Información personal
Nombre de nacimiento Edmund Melson Clarke
Nacimiento 27 de julio de 1945 Ver y modificar los datos en Wikidata
Flag of the United States.svg Estados Unidos
Nacionalidad Estadounidense Ver y modificar los datos en Wikidata
Educación
Alma máter Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informático teórico, profesor e investigador Ver y modificar los datos en Wikidata
Empleador Ver y modificar los datos en Wikidata
Miembro de Ver y modificar los datos en Wikidata
Distinciones Ver y modificar los datos en Wikidata
Web
Sitio web
[editar datos en Wikidata]

Edmund Melson Clarke, Jr. (27 de julio de 1945) es un informático teórico estadounidense.

Principalmente reconocido por haber desarrollado el método conocido como "model checking", para verificar diseños de software o hardware.

Clarke es 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.

Enlaces externos[editar]


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov