E. Allen Emerson

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.

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.

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.

Referencias

↑ «We bid farewell to E. Allen Emerson». Heidelberg Laureate Foundation (en inglés). Consultado el 19 de octubre de 2024.

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

[1] «We bid farewell to E. Allen Emerson». Heidelberg Laureate Foundation (en inglés). Consultado el 19 de octubre de 2024.

[1]