E. Allen Emerson

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.

Ernest Allen Emerson
Información personal
Nacimiento 2 de junio de 1954 Ver y modificar los datos en Wikidata (66 años)
Bandera de Estados Unidos Estados Unidos
Nacionalidad estadounidense
Educación
Educación Doctor en Filosofía Ver y modificar los datos en Wikidata
Educado en
Supervisor doctoral Edmund Clarke Ver y modificar los datos en Wikidata
Alumno de Edmund Clarke Ver y modificar los datos en Wikidata
Información profesional
Ocupación informático, profesor
Empleador Universidad de Texas en Austin Ver y modificar los datos en Wikidata
Distinciones Premio Turing en 2007.
Web
Sitio web

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 externosEditar


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov