Kdtyjb

Joseph Sifakis
Joseph Sifakis en 2008.
Información personal
Nombre en griego	Ιωσήφ Σηφάκης
Nacimiento	26 de diciembre de 1946 (72 años) Heraclión, Creta Grecia Grecia
Nacionalidad	griego - francés
Educación
Educado en	Universidad Politécnica Nacional de Atenas
Información profesional
Ocupación	informático
Cargos ocupados	Director de investigación del CNRS
Empleador	Centro Nacional para la Investigación Científica
Miembro de	Academia Estadounidense de las Artes y las Ciencias Academia Nacional de Ingeniería Academia de Ciencias de Francia Academia Europæa (desde 2008)
Distinciones	Premio Turing 2007
Web
Sitio web	Joseph Sifakis
[editar datos en Wikidata]

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.

Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble.

Enlaces externos

• 
  Anuncio del Premio Turing 2007. (en inglés)

.mw-parser-output .mw-authority-control .navbox hr:last-child{display:none}.mw-parser-output .mw-authority-control .navbox+.mw-mf-linked-projects{display:none}.mw-parser-output .mw-authority-control .mw-mf-linked-projects{display:flex;padding:0.5em;border:1px solid #c8ccd1;background-color:#eaecf0;color:#222222}.mw-parser-output .mw-authority-control .mw-mf-linked-projects ul li{margin-bottom:0}