Abrir menú principal

Joseph Sifakis

informático francés de origen griego

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 img 0966.jpg
Joseph Sifakis en 2008.
Información personal
Nombre en griego Ιωσήφ Σηφάκης Ver y modificar los datos en Wikidata
Nacimiento 26 de diciembre de 1946 (72 años)
Heraclión, Creta GreciaFlag of Greece.svg Grecia
Nacionalidad griega - francesa
Educación
Educado en
Información profesional
Ocupación informático
Cargos ocupados
  • Director de investigación del CNRS Ver y modificar los datos en Wikidata
Empleador
Miembro de
Distinciones Premio Turing 2007
Web
Sitio web

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 externosEditar


Predecesor:
Frances Elizabeth Allen
Premio Turing
2007
Sucesor:
Barbara Liskov