Loading AI tools
informático teórico estadounidense De Wikipedia, la enciclopedia libre
Ernest Allen Emerson (2 de junio de 1954 – 15 de octubre de 2024)[1] fue un informático teórico estadounidense, más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.
| Ernest Allen Emerson | ||
|---|---|---|
.jpg) | ||
| Información personal | ||
| Nacimiento |
2 de junio de 1954 Estados Unidos | |
| Fallecimiento |
15 de octubre de 2024 (70 años) Austin (Estados Unidos) | |
| Nacionalidad | estadounidense | |
| Educación | ||
| Educado en |
| |
| Supervisor doctoral | 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
