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.
	[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.

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]