La Habana, Cuba. – El científico de la computación griego naturalizado francés, Joseph Sifakis, nace en Heraclión, Creta, Grecia, el 26 de diciembre de 1946. Ganó el 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. En el 2007 vivía en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble.