Ernest Allen Emerson (2 de junio de 1954 – 15 de octubre de 2024)[1] fue 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 Estados Unidos | |
Fallecimiento | 15 de octubre de 2024 | (70 años)|
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 trabajó 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.
Referencias
- «We bid farewell to E. Allen Emerson». Heidelberg Laureate Foundation (en inglés). Consultado el 19 de octubre de 2024.
Enlaces externos
- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |
wikipedia, wiki, leyendo, leer, libro, biblioteca, español, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos, móvil, teléfono, android, ios, apple, teléfono móvil, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, ordenador