Joseph Sifakis

Unknown link: SymbolicModelChecking

Videos: Lectures and Interviews

"Autonomous Systems –A Rigorous Architectural Characterization", 6th Heidelberg Laureate Forum, September 27, 2018
Talk in MeTRiD 2018@ETAPS, Thessaloniki, April 15, 2018
"How much hard is system design?", 5th Heidelberg Laureate Forum, September 26, 2017
Heidelberg Lecture at Lindau Nobel Meeting, 2017
The Heidelberg Laureate Forum Foundation Portraits: Joseph Sifakis, 2017
Linking natural and artificial intelligence, Dec. 2016
On the Nature of Computing, Sep. 2016
Interview “France in the US”, April 2015
The Internet of Things - the Ultimate ICT Revolution, Apr. 2015
TUCS 20 Distinguished Lecture October 2014
“From Programs to Systems -- Building a Smarter World”, Nov. 2013
2007 Turing Awards - Ed Clarke, A. Emerson, and J. Sifakis
Turing Lecture Video – ACM 2008
Grenoble-Isere software: Turing price 2007, Dec. 2010 (in French)