top of page

See FISITA Library items from Joseph Sifakis


No matching results found.


Professor Joseph Sifakis is Emeritus Research Director at Verimag laboratory. His current research interests cover fundamental and applied aspects of autonomous system design focusing on self-driving cars.

Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) between 2011 and 2016. He is the founder of the Verimag laboratory in Grenoble, a leading laboratory in the area of safety critical systems, which he directed for 13 years.

In 2007, Joseph Sifakis received along with Edmund Clarke and Allen Emerson, 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, of the French Academy of Engineering, of Academia Europea, of the American Academy of Arts and Sciences, of the National Academy of Engineering and 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 Greek Order of the Phoenix. He received the Leonardo da Vinci Medal in 2012.


Emeritus Research Director

Verimag Laboratory

Job title

Company Name

Company Text

Prof. Joseph Sifakis

FISITA Committees & Groups

Executive Board

News on FISITA Spotlight

16 July 2021

Spotlight title

Stay up to date with FISITA Spotlight

More Blogs Item Title

Excerpt from the blog goes here - this will give the reader a brief snapshot of what the post is about...

16 July 2021

bottom of page