E. Allen Emerson

Ernest Allen Emerson (2 de junio de 1954 – 15 de octubre de 2024)​ 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.

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.

Biografía

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.

Enlaces externos

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

Predecesor: Frances Allen

Premio Turing 2007

Sucesor: Barbara Liskov

• Datos: Q92821
• Multimedia: E. Allen Emerson / Q92821