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: 2022
Laureate Discussion
Vinton Gray Cerf, Leslie Lamport...
more
Year: 2021
Laureate Discussion: Ethical, Societal and Environmental Implications…
Shafrira Goldwasser, David A. Patterson...
more
Year: 2020
Lecture: Why is it so hard to make self-driving cars? (Trustworthy…
Joseph Sifakis
more
Year: 2019
Lecture: Can We Trust Autonomous Systems? Boundaries and Risks
Joseph Sifakis
more
Year: 2018
Lecture: Autonomous Systems – A Rigorous Architectural…
Joseph Sifakis
more
Year: 2017
Lecture: How Much Hard is System Design?
Joseph Sifakis
more
Year: 2016
Lecture: On the Nature of Computing
Joseph Sifakis
more
Year: 2014
Lecture: Is Computing a Science?
Joseph Sifakis
more
Year: 2013
Lecture: System Design Science
Joseph Sifakis
more