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)
Categoría:Informáticos de Grecia Categoría:Informáticos de Francia Categoría:Ganadores del Premio Turing Categoría:Grandes Oficiales de la Orden Nacional del Mérito Categoría:Comendadores de la Legión de Honor Categoría:Miembros de la Academia Europea Categoría:Emigrantes griegos hacia Francia Categoría:Nacidos en Heraclión Categoría:Alumnado de la Escuela Politécnica Federal de Lausana Categoría:Doctores por la universidad de Grenoble