E. Allen Emerson

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Ernest Allen Emerson
Nombre Ernest Allen Emerson
Nacimiento 2 de junio de 1954
Flag of the United States.svg Estados Unidos
Nacionalidad estadounidense
Alma máter Universidad de Harvard y Universidad de Texas en Austin
Ocupación informático, profesor
Empleador Universidad de Texas en Austin
Premios Premio Turing en 2007.
Sitio web
Ernest Allen Emerson
[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