Selected Lectures and Interviews (Videos)

Plenary Lecture at GYSS January 2025
https://www.youtube.com/watch?v=CusTePsP4fw
Developing effective verification technology, TEDxNiendorf, 2024
https://www.youtube.com/watch?v=8RI32C-WWEY
Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview
https://www.youtube.com/watch?v=qgLIoQWOPZ0&t=12s
Talk: Can We Trust Autonomous Systems? | Joseph Sifakis
https://www.youtube.com/watch?v=kp5iHxTKZG8
Talk: Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, “The Quest for Correctness Beyond Verification”
https://www.youtube.com/watch?v=tdeBgObe-Uc
Joseph Sifakis at GYSS 2021 – Why is it so hard to make self driving cars?
https://www.youtube.com/watch?v=LV6P63bcnYg&t=2s

Ιn Greek

Email: Joseph.Sifakis@univ-grenoble-alpes.fr
Web Site: http://www-verimag.imag.fr/~sifakis/
Phone: +33 (0)4.57.42.22.44
Fax: +33 (0)4.57.42.22.22
Surface mail:
Verimag Laboratory Bâtiment IMAG 700, Avenue Centrale 38401, France

Plenary Lecture at GYSS January 2025
https://www.youtube.com/watch?v=CusTePsP4fw
Developing effective verification technology, TEDxNiendorf, 2024
https://www.youtube.com/watch?v=8RI32C-WWEY
Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview
https://www.youtube.com/watch?v=qgLIoQWOPZ0&t=12s
Talk: Can We Trust Autonomous Systems? | Joseph Sifakis
https://www.youtube.com/watch?v=kp5iHxTKZG8
Talk: Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, “The Quest for Correctness Beyond Verification”
https://www.youtube.com/watch?v=tdeBgObe-Uc
Joseph Sifakis at GYSS 2021 – Why is it so hard to make self driving cars?
https://www.youtube.com/watch?v=LV6P63bcnYg&t=2s