- E. Allen Emerson
-
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. Emerson trabaja como profesor en la Universidad de Texas, Austin. Emerson, junto con Edmund M. Clarke, Jr. y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Enlaces externos
- Página personal en UT Austin (en inglés)
- Anuncio del Premio Turing 2007 (en inglés)
Categorías: Informáticos teóricos de Estados Unidos | Ganadores Premio Turing
Wikimedia foundation. 2010.