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

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
“Autonomous Systems –A Rigorous Architectural Characterization”, 6th Heidelberg Laureate Forum, September 27, 2018
https://www.youtube.com/watch?v=H4OC6u7uNGo
Developing effective verification technology | Joseph Sifakis | TEDxNiendorf
https://www.youtube.com/watch?v=8RI32C-WWEY&t=300s
Joseph Sifakis: Elon Musk keeps saying nonsense, SciNews
https://www.youtube.com/watch?v=mnj2doHc9zs
HIAS Inaugural Symposium – Artificial Intelligence and Computing – Keynote by Prof. Joseph Sifakis
https://www.youtube.com/watch?v=iOCVYwYZYSw&t=527s
“How much hard is system design?”, 5th Heidelberg Laureate Forum, September 26, 2017
https://www.youtube.com/watch?v=fcRE2Si5URQ
Heidelberg Lecture at Lindau Nobel Meeting, 2017
https://www.mediatheque.lindau-nobel.org/recordin gs/36810
The Heidelberg Laureate Forum Foundation Portraits: Joseph Sifakis, 2017
https://www.youtube.com/watch?v=6zY5ShHnbNg
Interview “France in the US”, April 2015
https://www.youtube.com/watch?v=rcH_yx3Hst8
The Internet of Things – the Ultimate ICT Revolution, Apr. 2015
https://livestream.com/internetsociety/ultimate-ict-revolution/videos/84701512
TUCS 20 Distinguished Lecture October 2014
https://www.youtube.com/watch?v=6XbRvmPeLQ0
2007 Turing Awards – Ed Clarke, A. Emerson, and J. Sifakis
https://www.youtube.com/watch?v=HzHBBEu28aM
Turing Lecture Video – ACM 2008
https://amturing.acm.org/vp/sifakis_1701095.cfm
Conférence d’Exception avec Joseph Sifakis, lauréat du prix Turing, UGA
https://www.youtube.com/watch?v=ll4-vNNu3vU&t=4030s

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

MENU

Address

Verimag Laboratory, âtiment IMAG 700, Avenue Centrale 38401 Saint Martin d’Hères France

Social Media

Contact Me

Joseph.Sifakis@univ-grenoble-alpes.fr

Tel. +33 (0)4.57.42.22.44

Fax. +33 (0)4.57.42.22.22

Selected Lectures and Interviews (Videos)

Ιn Greek

Selected lectures and Interviews ( Videos )

Selected Lectures and Interviews (Videos)

Ιn Greek

Navigation

Relevant Links