E. Allen Emerson
De Wikipedia, la enciclopedia libre
| Ernest Allen Emerson | |
|---|---|
| Nombre | Ernest Allen Emerson |
| Nacimiento |  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]
- Anuncio del Premio Turing 2007. (en inglés)
| Predecesor: Frances Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |
