Joseph Sifakis
  • 2007 Turing Award


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

Education and Work Experience

1974-Present, CNRS researcher, Research Director (Present), VERIMAG laboratory
2009-Present, Consulting Expert, CEA/DRT
2009-2011, President, Working Group of the French Ministry of Education for a National Strategy in Digital Technologies
2010-Present, Director, Grenoble Center for Integrative Research on Intelligent Software and Systems

Honors and Awards

2007, Turing Award
2011, Commander of the Legion of Honor
2012, Leonardo da Vinci Medal
2017, Member of the United States 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.