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.
[editar datos en Wikidata]

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)