E. Allen Emerson

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Ernest Allen Emerson
Información personal
Nacimiento 2 de junio de 1954 Ver y modificar los datos en Wikidata
Flag of the United States.svg Estados Unidos
Nacionalidad estadounidense
Educación
Alma máter 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
[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]


Predecesor:
Frances Allen
Premio Turing
2007
Sucesor:
Barbara Liskov