- 2007 Turing Award
Intro
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.