Joseph Sifakis (Greek Ιωσήφ Σηφάκης; born 26 December 1946 in Heraklion, Crete ) is a Greek- French computer scientist and Turing Award winner. He contributed significantly to the emergence of model checking and their dissemination in the industry at.
Sifakis studied electrical engineering at the National Technical University of Athens and made with a French scholarship his PhD in computer science at the University Joseph Fourier Grenoble I.
He works in Grenoble for co-founded by him, and from 1993 to 2006 led Verimag laboratory of the Centre national de la recherche scientifique. He is Director of Research in the area of distributed and complex systems, and conducts research especially on component- based design, modeling and analysis of real- time systems, with a focus on correct-by -construction techniques. He is also a carrier of the CNRS Silver Medal in 2001. Moreover, he is head of the Carnot Institute for Intelligent Software and Systems in Grenoble, and one of the chairmen of ARTEMISIA, the industry association within the European embedded systems ARTEMIS Technology Platform.
Sifakis is the scientific coordinator of the European Networks of Excellence Artist2 and Artist Design for research in the field of embedded systems, and has founded with Edmund M. Clarke, Robert Kurshan and Amir Pnueli the International Conference on Computer Aided Verification. He is also a member of several editorial advisory boards of scientific journals, and a member of the Academia Europaea.
In 2007, Sifakis along with Edmund M. Clarke and Allen Emerson, of which, independently, he has been working on the model review in 1981, the Turing Award, and is honored for his pioneering work on both theoretical as well as practical field of specification and verification of parallel systems. The following year, Nicolas Sarkozy appointed him Grand Officier of the Ordre national du Mérite.