E. Allen Emerson

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Ernest Allen Emerson
Información personal
Nacimiento 2 de junio de 1954 Ver y modificar los datos en Wikidata (64 años)
Estados UnidosFlag of the United States.svg Estados Unidos
Nacionalidad estadounidense
Educación
Educado en
Supervisor doctoral 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

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