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 (77 años) Heraclión, Creta Grecia Grecia
Nacionalidad	griega - francesa
Educación
Educado en	Universidad Politécnica Nacional de Atenas
Supervisor doctoral	Louis Bolliet y Jean Kuntzmann
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) Association for Computing Machinery (desde 2012) Academia Nacional de Ciencias de los Estados Unidos (desde 2024)
Sitio web	Joseph Sifakis
Distinciones	Premio Turing 2007

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)

Predecesor: Frances Elizabeth Allen

Premio Turing 2007

Sucesor: Barbara Liskov

• Datos: Q92781
• Multimedia: Joseph Sifakis / Q92781