Professor Joseph Sifakis is Emeritus Research Director at Verimag. His current research interests cover fundamental and applied aspects of autonomous system design with focus on self-driving cars.
Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, a leading laboratory in the area of safety critical systems that he directed for 13 years.
In 2007, Joseph Sifakis received the Turing Award, recognized as the "highest distinction in computer science", for his contribution to the theory and application of model checking, the most widely used system verification technique.
Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, a member of the National Academy of Engineering and a member of the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He is a Commander of the Order of the Phoenix. He has received the Leonardo da Vinci Medal in 2012.
- 上一篇：John Hennessy
- 下一篇：Paulo Lopes