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[editar]

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

Predecesor: Frances Allen	Premio Turing 2007	Sucesor: Barbara Liskov

Datos: Q92821