E. Allen Emerson para niños
Datos para niños 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. | |
Ernest Allen Emerson fue un informático teórico más conocido por 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. Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Véase también
En inglés: E. Allen Emerson Facts for Kids
Todo el contenido de los artículos de la Enciclopedia Kiddle (incluidas las imágenes) se puede utilizar libremente para fines personales y educativos bajo la licencia Atribución-CompartirIgual a menos que se indique lo contrario. Citar este artículo:
E. Allen Emerson para Niños. Enciclopedia Kiddle.