Joseph Sifakis at GYSS 2021 - Why is it so hard to make self driving cars?
[TCISW] Why is it so hard to make self-driving cars? -- Joseph Sifakis (22.01.2021)
Joseph Sifakis, 2007 ACM Turing Award Recipient
On the Nature of computing, by Joseph Sifakis
Turing Award winner Joseph Sifakis advises young people in China to follow their dreams
Virtual HLF 2020 – Talk: Joseph Sifakis
Prof. Sifakis Presentation at the Greek Scientists Society 3rd Symposium
Joseph Sifakis
Laureate Shortcuts: Joseph Sifakis
HIAS Inaugural Symposium - Artificial Intelligence and Computing - Keynote by Prof. Joseph Sifakis
Sifakis on his first model checking work
Joseph Sifakis: Elon Musk keeps saying nonsense
SEED AWARD 2019 Final - Joseph Sifakis
TUCS 20 Distinguished Lecture 24.10 2014, Joseph Sifakis
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Sifakis on Verimag and "correctness by construction."
Prof. JOSEPH SIFAKIS
IISA 2013: Distinguished Keynote Speaker Joseph Sifakis
Sifakis defines model checking
Linking natural and artificial intelligence (Joseph Sifakis and Pietro Pietrini)
![[TCISW] Why is it so hard to make self-driving cars? -- Joseph Sifakis (22.01.2021)](https://img.youtube.com/vi/ufTU3XyldjY/0.jpg)
