img
Joseph Sifakis

Joseph Sifakis

2007 Turing Award
Intro

A Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

Education and Work Experience
  • 1974, doctor degree, University of Grenoble;
  • Present: Centre national de la recherche scientifique at the VERIMAGlaboratory, founder.
Honors and Awards
    • NAE (2017) 
    • ACM Turing Award (2007)
    • Commandeur de la Légion d'honneur
    • Grand officier de l'ordre national du Mérite
    • Médaille d'argent du CNRS
    • Member of the French Academy of Sciences
    • Member of the French National Academy of Engineering
    • Member of Academia Europea
    • Member of the American Academy of Arts and Sciences
    • Member of the National Academy of Engineering

Major Academic Achievements

The research work of Joseph Sifaki is decisive and leads to the creation of new software specifications, new detection algorithms, and outstanding theoretical results. This technology is used today in the integrated circuit industry to design complex systems and to ensure compliance with preset specifications. The industry impact of model checking on embedded processors and critical systems will be even more pronounced in the coming years.