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

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