E. Allen Emerson , la enciclopedia libre

Ernest Allen Emerson
Información personal
Nacimiento	2 de junio de 1954  Estados Unidos
Fallecimiento	15 de octubre de 2024 (70 años) Austin (Estados Unidos)
Nacionalidad	estadounidense
Educación
Educado en	Universidad de Texas en Austin (B.S. en Matemáticas; hasta 1976) Harvard School of Engineering and Applied Sciences (Ph.D. en Matemáticas aplicadas; hasta 1981)
Supervisor doctoral	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 (2 de junio de 1954 – 15 de octubre de 2024)^[1]​ fue un informático teórico estadounidense, más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.

Emerson trabajó 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.

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