Joseph Sifakis

Professor Joseph Sifakis is Emeritus Research Director at Verimag, a leading laboratory in the area of safety critical systems which he established in Grenoble, France. From 2011 to 2016, he was a full professor at Ecole Polytechnique Fédérale de Lausanne. He is a member of six academies and a frequent speaker at international scientific, technical and public forums.

Prof Sifakis has made significant and internationally recognised contributions to the design of trustworthy systems in many application areas, including avionics and space, telecommunications, and production. In 2007, he received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique. His current research focuses on autonomous systems, in particular self-driving cars and autonomous telecommunication systems.