He changes the world of Computer Science
Joseph Sifakis is a computer scientist and researcher, laureate of the 2007 Turing Award, along with Edmund M. Clarke and Ernest Allen Emerson for his work on model checking, a verification method of computer hardware and software properties. The Turing Award is recognized as the Nobel Prize of Computing.
Sifakis works for the Centre National de la Recherche Scientifique and is the founder of VERIMAG Laboratory in Grenoble. Moreover, he’s a Professor of Computer Science at the University of Grenoble and Honorary Professor of the University of Lausanne and the University of Patras. In March 2014, he was appointed as the President of the new National Council for Research and Technology, Greece.
Sifakis was born in Heraklion, Crete, on December 26th, 1946 and later studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. During his studies in France, he acquired the French citizenship and has since been living and working in the country.
VERIMAG Laboratory is a leading research laboratory in the area of critical embedded systems. It developed the underlying theory and technology for the SCADE tool, used by Airbus for the design and validation of its critical real-time systems, and is becoming a de facto standard for aeronautics.
Verimag has a lasting and strategic collaboration with ST Microelectronics, France Telecom R&D and Airbus, through which numerous results on validation and testing have been transferred.
Joseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques.
Moreover, he’s the Scientific Coordinator of the European Network of Excellence ARTIST2 on Embedded Systems Design. This network gathers 35 of the best European teams in the area, and aims to produce innovative products.
Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering and the Academia Europea.
The French state honoured Sifakis with the titles of Grand Officer of the French National Order of Merit and Commander of France’s Legion of Honour. In 2009, Sifakis received the Greek Parliament Foundation for Parliamentarism and Democracy Award and in 2012 he was further honoured with the Leonardo Da Vinci Medal.