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 Interviews

ΩΡΑΙΟΙ ΩΣ ΕΛΛΗΝΕΣ, Ιωσήφ Σηφάκης,
https://www.youtube.com/watch?v=y9W-cFdHn3o
Σκηνοθεσία: Χρήστος Μπάρμπας, Αρχισυνταξία – Παρουσίαση : Άννα Γριμάνη Διεύθυνση Φωτογραφίας: Παναγιώτης Μανωλίτσης
Συνέντευξη KRETA TV, Αντιθέσεις, Γ. Σαχίνης
https://www.youtube.com/watch?v=Mqk0sZIgb98&t=69s
Ο οραματιστής της Πληροφορικής Ιωσήφ Σηφάκης, ellines.com
https://www.youtube.com/watch?v=tH28RhhHzxU
Ομιλία του Ιωσήφ Σηφάκη για την Τεχν. Νοημοσύνη στην “Ομάδα χωρίς όνομα” στις 12-01-2022
https://www.youtube.com/watch?v=GfkS0uQvx4E
Συνέντευξη Ειρήνη Νικολοπούλου, Μέρος 1
https://www.youtube.com/watch?v=bV8LKHrSAXk
Συνέντευξη Ειρήνη Νικολοπούλου, Μέρος 2
https://www.youtube.com/watch?v=5piAgqHZIy0
Ιωσήφ Σηφάκης: κατανοώντας και αλλάζοντας τον κόσμο. Συνέντευξη Παντελής Σαββίδης
https://www.youtube.com/watch?v=vsm450z8z5A&t=1470s
«Κατανοώντας και αλλάζοντας τον κόσμο»! Ο Ιωσήφ Σηφάκης συζητά με τον Θεοφάνη Τάση
https://www.youtube.com/watch?v=6UmCYVFFHCY&t=2961s
Ο Ιωσήφ Σηφάκης στις “Στάσεις ζωής” με την Ρένα Παπαδάκη
https://www.youtube.com/watch?v=wKMEkWiZlDQ&t=11s
Open TV, Συνέντευξη από Ιορδάνη Χασαπόπουλο, 3/5/2019 |https://www.youtube.com/watch?v=CdxXBliX1Fk
Ομιλία «Τεχνητή νοημοσύνη – Σήμερα και αύριο»
https://www.youtube.com/watch?v=nHF9e1zsSl4&t=2796s
«Τα Μαθηματικά και η Επανάσταση της Γνώσης»
https://www.youtube.com/watch?v=wjmh2WYEjN4&t=1275s
Ο Μεσαρίτης Ακαδημαϊκός κ Ιωσήφ Σηφάκης στο Apopsi Live
https://www.youtube.com/watch?v=_r4jv2ERCCI

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 Interviews

Selected Lectures and Interviews (Videos)

Ιn Greek

Navigation

Relevant Links