Joseph Sifakis — SPARQNOW

At-a-Glance

Received the 2007 Turing Award for his contributions to the theory and application of model checking.
Serves as Research Director Emeritus at VERIMAG Laboratory, with current research focused on autonomous system design and self-driving cars.
Founder of the VERIMAG laboratory in Grenoble, a leading center in the area of safety-critical systems.
Co-founded the CAV conference and coordinated the ARTIST European Network of Excellence for research on Embedded Systems (2004–2012).
Developed the BIP component framework and contributed to verification tools including CESAR, IF, Kronos, CADP, and TGV.
Author of the book 'Understanding and Changing the World,' published by Springer in May 2022.
Holds an engineering doctorate and a state doctorate in Computer Science from the University of Grenoble.

Biography

Joseph Sifakis is a Greek-French computer scientist, recognized with the 2007 Turing Award for his foundational contributions to the theory and application of model checking, a widely used system verification technique. He is currently Research Director Emeritus at VERIMAG Laboratory in Grenoble, France, where his research focuses on fundamental and applied aspects of autonomous system design, particularly self-driving cars.