11 relaciones: Association for Computing Machinery, Barbara Liskov, Edmund Clarke, Frances Elizabeth Allen, Informática, Informático teórico, Joseph Sifakis, Premio Turing, Profesor, Universidad de Texas en Austin, Verificación de modelos.
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
¡Nuevo!!: E. Allen Emerson y Association for Computing Machinery · Ver más »
Barbara Liskov
Barbara Jane Huberman (Los Ángeles, California, 7 de noviembre de 1939), conocida como Barbara Liskov o Barbara Jane Liskov, es una prominente científica de la computación estadounidense.
¡Nuevo!!: E. Allen Emerson y Barbara Liskov · Ver más »
Edmund Clarke
Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.
¡Nuevo!!: E. Allen Emerson y Edmund Clarke · Ver más »
Frances Elizabeth Allen
Frances Elizabeth "Fran" Allen (Peru, Nueva York, 4 de agosto de 1932 - Schenectady, Nueva York, 4 de agosto de 2020) fue una informática estadounidense y pionera en el campo de optimizar compiladores.
¡Nuevo!!: E. Allen Emerson y Frances Elizabeth Allen · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: E. Allen Emerson e Informática · Ver más »
Informático teórico
Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación.
¡Nuevo!!: E. Allen Emerson e Informático teórico · Ver más »
Joseph Sifakis
Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.
¡Nuevo!!: E. Allen Emerson y Joseph Sifakis · Ver más »
Premio Turing
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
¡Nuevo!!: E. Allen Emerson y Premio Turing · Ver más »
Profesor
Los términos profesor/a, docente y enseñante hacen referencia a quien se dedica profesionalmente a la enseñanza, ya sea con carácter general o especializado en una determinada área de conocimiento, asignatura, disciplina académica, ciencia o arte.
¡Nuevo!!: E. Allen Emerson y Profesor · Ver más »
Universidad de Texas en Austin
La Universidad de Texas en Austin (en idioma inglés University of Texas at Austin), también conocida como UT Austin, UT o Texas, es una universidad pública de investigación en Austin, Texas, y la institución insignia del Sistema Universitario de Texas.
¡Nuevo!!: E. Allen Emerson y Universidad de Texas en Austin · Ver más »
Verificación de modelos
La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.
¡Nuevo!!: E. Allen Emerson y Verificación de modelos · Ver más »