sifakis

0:01:14

Joseph Sifakis: Elon Musk keeps saying nonsense

0:03:12

Joseph Sifakis(2007 Turing Award Winner)

0:03:49

Interview of Joseph Sifakis, 2007 Turing Award Recipient

0:05:17

Sifakis defines model checking

0:07:57

Developing effective verification technology | Joseph Sifakis | TEDxNiendorf

0:19:58

Viewing life through the information lens: Joseph Sifakis at TEDxThessaloniki

0:19:20

#HWIDI 2023-Joseph Sifakis

0:03:07

Sifakis explains his shift to embedded systems work.

0:04:06

Sifakis on his first model checking work

0:31:30

Virtual HLF 2020 – Talk: Joseph Sifakis

0:07:20

Sifakis on Verimag and 'correctness by construction.'

0:46:07

HLF Laureate Portraits: Joseph Sifakis

0:01:13

Myron Sifakis diloseis gia filiko me platania

0:03:16

2007 Turing Awards - Ed Clarke, Ernest Emerson, and Joseph Sifakis

0:26:55

5th HLF – Laureate interview: Joseph Sifakis

0:23:18

HIAS Inaugural Symposium - Artificial Intelligence and Computing - Keynote by Prof. Joseph Sifakis

0:48:01

Plenary Lecture by Prof Joseph Sifakis at GYSS 2025

0:01:37

Turing Award winner Joseph Sifakis advises young people in China to follow their dreams

1:14:03

On the Nature of computing, by Joseph Sifakis

2:08:07

Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview

0:02:10

Laureate Shortcuts: Joseph Sifakis

0:47:01

6th HLF – Lecture: Joseph Sifakis

0:43:19

7th HLF – Lecture: Joseph Sifakis