15 relaciones: Barbara Liskov, Centro Nacional para la Investigación Científica, Ciencias de la computación, Creta, E. Allen Emerson, Edmund Clarke, Frances Elizabeth Allen, Francia, Grecia, Grenoble, Heraclión, Premio Turing, Universidad de Grenoble, Universidad Politécnica Nacional de Atenas, Verificación de modelos.
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!!: Joseph Sifakis y Barbara Liskov · Ver más »
Centro Nacional para la Investigación Científica
El Centro Nacional para la Investigación Científica (en francés, Centre national de la recherche scientifique o CNRS) es la institución de investigación más importante en Francia.
¡Nuevo!!: Joseph Sifakis y Centro Nacional para la Investigación Científica · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Joseph Sifakis y Ciencias de la computación · Ver más »
Creta
Creta (en griego clásico y moderno: Κρήτη; en latín: Creta) es la isla más grande de Grecia y la quinta en tamaño del mar Mediterráneo.
¡Nuevo!!: Joseph Sifakis y Creta · Ver más »
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.
¡Nuevo!!: Joseph Sifakis y E. Allen Emerson · 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!!: Joseph Sifakis 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!!: Joseph Sifakis y Frances Elizabeth Allen · Ver más »
Francia
Francia (en francés: France), oficialmente la República Francesa (en francés: République française), es un país soberano transcontinental que se extiende por Europa Occidental y por regiones y territorios de ultramar en América y los océanos Atlántico, Pacífico e Índico.
¡Nuevo!!: Joseph Sifakis y Francia · Ver más »
Grecia
Grecia (Ελλάδα, Elláda), oficialmente llamada República Helénica (Ελληνική Δημοκρατία, Ellinikí Dimokratía), es uno de los veintisiete Estados soberanos que forman la Unión Europea.
¡Nuevo!!: Joseph Sifakis y Grecia · Ver más »
Grenoble
Grenoble es una ciudad del sureste de Francia, en la región Auvernia-Ródano-Alpes, capital del departamento de Isère y conocida como la capital de los Alpes franceses.
¡Nuevo!!: Joseph Sifakis y Grenoble · Ver más »
Heraclión
Heraclión o Herakleion (Hêrákleion), llamada antiguamente El Khandak, Candia (Χάνδαξ), Megalo Kástro (Μεγάλο Κάστρο) o Iraklio (Iráklio), es la mayor ciudad y la capital de Creta y de la unidad periférica de Heraclión, siendo además el centro económico, el mayor puerto marítimo de la isla y la cuarta ciudad más poblada e importante de Grecia.
¡Nuevo!!: Joseph Sifakis y Heraclión · 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!!: Joseph Sifakis y Premio Turing · Ver más »
Universidad de Grenoble
La Universidad Grenoble Alpes (francés: Université Grenoble Alpes) fue una universidad francesa, fundada en 1339 en la ciudad de Grenoble, Francia, y suspendida en 1793.
¡Nuevo!!: Joseph Sifakis y Universidad de Grenoble · Ver más »
Universidad Politécnica Nacional de Atenas
La Universidad Politécnica Nacional de Atenas (Εθνικό Μετσόβιο Πολυτεχνείο, Politécnico Nacional Metsoviano) es una universidad de Grecia creada en 1837.
¡Nuevo!!: Joseph Sifakis y Universidad Politécnica Nacional de Atenas · 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!!: Joseph Sifakis y Verificación de modelos · Ver más »