E. Allen Emerson

Ernest Allen Emerson
Información personal
Nacimiento	2 de junio de 1954 (69 años); Estados Unidos
Nacionalidad	estadounidense
Educación
Educación	doctor en Filosofía
Educado en	Universidad de Harvard; Universidad de Texas en Austin; Harvard School of Engineering and Applied Sciences;
Supervisor doctoral	Edmund Clarke
Alumno de	Edmund Clarke
Información profesional
Ocupación	informático, profesor
Empleador	Universidad de Texas en Austin
Sitio web	Ernest Allen Emerson
Distinciones	Premio Turing en 2007.

Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.

Emerson trabaja como profesor en la Universidad de Texas, Austin. Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.

Enlaces externos

Anuncio del Premio Turing 2007. (en inglés)

Predecesor: Frances Allen	Premio Turing 2007	Sucesor: Barbara Liskov

Datos: Q92821

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.