Edmund Clarke

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
Información personal
Nombre de nacimiento Edmund Melson Clarke
Nombre en inglés Edmund Melson Clarke, Jr. Ver y modificar los datos en Wikidata
Nacimiento 27 de julio de 1945 Ver y modificar los datos en Wikidata (72 años)
Flag of the United States.svg Estados Unidos
Nacionalidad Estadounidense Ver y modificar los datos en Wikidata
Educación
Alma máter
Información profesional
Ocupación Informático teórico, profesor e investigador Ver y modificar los datos en Wikidata
Área Ciencias de la información y ciencias de la computación Ver y modificar los datos en Wikidata
Empleador
Estudiantes E. Allen Emerson Ver y modificar los datos en Wikidata
Miembro de
Distinciones
Web
Sitio web

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