Joseph Sifakis

* December 26, 1946, Heraklion, Greece

ACM A.M. Turing Award - 2007

Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.

ACM profile

Lecture Videos

Year: 2023

Lightning Talks

John E. Hopcroft, Shigefumi Mori...

Year: 2023

Spark Sesion Thursday

Martin Hellman, Daniel Spielman...

Year: 2022

Laureate Discussion

Vinton Gray Cerf, Leslie Lamport...

Year: 2021

Laureate Discussion: Ethical, Societal and Environmental Implications…

Shafrira Goldwasser, David A. Patterson...

Year: 2020

Lecture: Why is it so hard to make self-driving cars? (Trustworthy…

Joseph Sifakis

Year: 2019

Lecture: Can We Trust Autonomous Systems? Boundaries and Risks

Joseph Sifakis

Year: 2018

Lecture: Autonomous Systems – A Rigorous Architectural…

Joseph Sifakis

Year: 2017

Lecture: How Much Hard is System Design?

Joseph Sifakis

Year: 2016

Lecture: On the Nature of Computing

Joseph Sifakis