Joseph Sifakis at GYSS 2021 - Why is it so hard to make self driving cars?
Joseph Sifakis: Elon Musk keeps saying nonsense
Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki
Turing Award winner Joseph Sifakis advises young people in China to follow their dreams
Laureate Shortcuts: Joseph Sifakis
HIAS Inaugural Symposium - Artificial Intelligence and Computing - Keynote by Prof. Joseph Sifakis
Virtual HLF 2020 – Talk: Joseph Sifakis
[TCISW] Why is it so hard to make self-driving cars? -- Joseph Sifakis (22.01.2021)
GYSS 2021 Panel Discussion – Confluence of Quantum and Computing
Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview
Sifakis defines model checking
GYSS 2021 Panel Discussion - Science and Policy
GYSS 2021 - Closing Ceremony
William Phillips at GYSS 2021 - Recent Reforms to the International System of Units
Joseph Sifakis
SEED AWARD 2019 Final - Joseph Sifakis
Interview of Joseph Sifakis, 2007 Turing Award Recipient
Sifakis on his first model checking work
Prof. JOSEPH SIFAKIS
Sifakis on Verimag and "correctness by construction."