Wikipedia
E. 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.
| Ernest Allen Emerson | ||
|---|---|---|
| Información personal | ||
| Nacimiento | 2 de junio de 1954 (67 años) Estados Unidos | |
| Nacionalidad | estadounidense | |
| Educación | ||
| Educación | Doctor en Filosofía | |
| Educado en |
| |
| Supervisor doctoral | Edmund Clarke | |
| Alumno de | Edmund Clarke | |
| Información profesional | ||
| Ocupación | informático, profesor | |
| Empleador | Universidad de Texas en Austin | |
| Distinciones | Premio Turing en 2007. | |
| Web | ||
| Sitio web | ||
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
- (en inglés)
| Predecesor: Frances Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |