E. Allen Emerson

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Ernest Allen Emerson
Nombre Ernest Allen Emerson
Nacimiento Flag of the United States.svg Estados Unidos
Nacionalidad estadounidense
Ocupación informático, profesor
Premios Premio Turing en 2007.
Sitio web
Ernest 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.

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