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.

Joseph Sifakis
Joseph Sifakis en 2008.
Información personal
Nombre en griego	Ιωσήφ Σηφάκης
Nacimiento	26 de diciembre de 1946 (74 años) Heraclión, Creta Grecia Grecia
Nacionalidad	griega - francesa
Educación
Educado en	Universidad Politécnica Nacional de Atenas
Supervisor doctoral	Louis Bolliet
Información profesional
Ocupación	informático
Cargos ocupados	Director de investigación del CNRS
Empleador	Centro Nacional para la Investigación Científica Escuela Politécnica Federal de Lausana
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]

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

• (en inglés)

Predecesor: Frances Elizabeth Allen

Premio Turing 2007

Sucesor: Barbara Liskov

•   Datos: Q92781
•   Multimedia: Joseph Sifakis