Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Joseph Sifakis

Índice 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.

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 »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »