E. Allen Emerson (nacido el 2 de junio de 1954) es un informático estadounidense . Es Profesor y Regents Chair Emérito en la Universidad de Texas, Austin , Estados Unidos.
Ernest Allen Emerson II | |
---|---|
Nació | |
Ciudadanía | Estados Unidos |
Educación | Harvard (PhD 1981) |
Premios | Premio Paris Kanellakis de Teoría y Práctica (1998) Premio Turing (2007) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Texas, Austin , Estados Unidos |
Asesor de doctorado | Edmund M. Clarke |
Ganó el premio AM Turing 2007 junto con Edmund M. Clarke y Joseph Sifakis por la invención y el desarrollo de la verificación de modelos . [1] También recibió el premio de teoría y práctica del premio ACM Paris Kanellakis de 1998 por la comprobación de modelos simbólicos. [2]
Recibió su BS grado en matemáticas de la Universidad de Texas, Austin en 1976 [3] y su doctorado grado en Matemática Aplicada de la Universidad de Harvard en 1981. [3]
Ver también
Referencias
- ^ "Premio ACM Turing honra a los fundadores de la tecnología de verificación automática que permite diseños más rápidos y confiables" . 4 de febrero de 2008.
- ^ "PREMIOS - E. ALLEN EMERSON - 'ACM AM Turing Award' y 'Paris Kanellakis Theory and Practice Award ' " . Asociación de Maquinaria Informática . 2015. Archivado desde el original el 21 de julio de 2015 . Consultado el 21 de julio de 2015 .
[…] Fue autor de artículos seminales que fundaron lo que se ha convertido en el campo de gran éxito de Model Checking.
- ^ a b "Premio Kanellakis" . Asociación de Maquinaria Informática . 26 de marzo de 1999. Archivado desde el original el 5 de junio de 2011 . Consultado el 5 de febrero de 2008 .
enlaces externos
- E. Allen Emerson - Premio AM Turing
- Página de inicio de E. Allen Emerson en la Universidad de Texas en Austin [1]
- Anuncio del premio Turing
- Premio Kanellakis
- E. Allen Emerson en el Proyecto de genealogía matemática
- Lista de publicaciones de Microsoft Academic
- ^ (una URL alternativa: http://www.cs.utexas.edu/users/emerson/ )