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 (69 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 | |
| Sitio web | ||
| Distinciones | Premio Turing en 2007. | |
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
- Anuncio del Premio Turing 2007. (en inglés)
| Predecesor: Frances Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |
Datos: Q92821
