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 Estados Unidos | (69 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 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
- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |
🔥 Top keywords: Wikipedia:PortadaEspecial:BuscarCleopatra I de EgiptoEslovaquiaCaso Asunta BasterraYasukeChatGPTRobert FicoTabla periódica de los elementosBridgertonCopa Libertadores 2024Nueva CaledoniaEl planeta de los simios (franquicia)CleopatraJessica Goicoechea JoverJesús NavasNicolás Jarry (tenista)YouTubeSegunda Guerra MundialPrimera Guerra MundialArroba (símbolo)Copa Sudamericana 2024BaloncestoLuísa Villalta GómezCopa Libertadores de AméricaCristiano Ronaldo16 de mayoAlejandro TabiloLionel MessiIsidro LabradorLoco MíaKingdom of the Planet of the ApesRichard GaddHernán BarcosClasificación para la Copa Mundial de Clubes de 2025Especial:CambiosRecientesLiga de Campeones de la UEFAMiguel Ángel AguilarAdolf Hitler