Home
About Me
Short Bio
Curriculum Vitae
Short Autobiography
Interview by Cris Calude
Publications
Publications on Autonomous Systems
Presentations
Selected lectures and Interviews
Books
Awards & Honors
Photo Gallery
In Greek
Books
Articles
Interviews
Home
About Me
Short Bio
Curriculum Vitae
Short Autobiography
Interview by Cris Calude
Publications
Publications on Autonomous Systems
Presentations
Selected lectures and Interviews
Books
Awards & Honors
Photo Gallery
In Greek
Books
Articles
Interviews
MENU
Home
About Me
Short Bio
Curriculum Vitae
Short Autobiography
Interview by Cris Calude
Publications
Publications on Autonomous Systems
Presentations
Selected lectures and Interviews
Books
Awards & Honors
Photo Gallery
In Greek
Books
Articles
Interviews
Address
Verimag Laboratory, âtiment IMAG 700, Avenue Centrale 38401 Saint Martin d’Hères France
Social Media
Facebook
LinkedIn
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
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
Ιn Greek
Books
Articles
Interviews
Presentations
20120917 Rigorous System Design in BIP
20160415 Cyberphysical Systems – Research Agenda
20170623 On the Nature of Computing
20170713 On the Nature of Computing
20190920 Memories of Oded Maler
20191028 Can We Trust Autonomous Systems
20210319 Why is it so hard to make self-driving cars
20210422 Design for Dependability
20220401 Why is it so hard to make autonomous cars
20230309 Modeling and Validation of ADS
20230703 AI Today and Tomorrow
20231026 Understanding and Changing the World
20231206 Testing System Intelligence
20240528 AI Where We Are Where WE Are Going ISBI
20240619 Autonomous Network Summit
20240628 Testing Autonomous Driving Systems
20241105 Shanghai International Economic Forum
Selected 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
Ιn Greek
Books
Articles
Interviews
Navigation
Contact Information
Short Bio
Awards & Honors
Relevant Links
Google Scholar
DBLP
Wikipedia
ACM Turing Award 2007
Verimag Webpage