E. Allen Emerson

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Ernest Allen Emerson
E-allen-emerson.jpg
Información personal
Nacimiento 2 de junio de 1954 Ver y modificar los datos en Wikidata (68 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
Sitio web
Distinciones Premio Turing en 2007.

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