Home
About Me
Short Bio
Curriculum Vitae
Short Autobiography
Interview by Cris Calude
Publications
Publications on Autonomous Systems
Presentations
Selected Lectures and Interviews (Videos)
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 (Videos)
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 (Videos)
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 (Videos)
Plenary Lecture at GYSS January 2025
https://www.youtube.com/watch?v=CusTePsP4fw
Developing effective verification technology, TEDxNiendorf, 2024
https://www.youtube.com/watch?v=8RI32C-WWEY
Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview
https://www.youtube.com/watch?v=qgLIoQWOPZ0&t=12s
Talk: Can We Trust Autonomous Systems? | Joseph Sifakis
https://www.youtube.com/watch?v=kp5iHxTKZG8
Talk: Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, “The Quest for Correctness Beyond Verification”
https://www.youtube.com/watch?v=tdeBgObe-Uc
Joseph Sifakis at GYSS 2021 – Why is it so hard to make self driving cars?
https://www.youtube.com/watch?v=LV6P63bcnYg&t=2s
Ιn Greek
Books
Articles
Interviews
Presentations
20250606 Shedding Light on the Foggy AI Landscapes, BAAI Conference
20250624 Autonomous Systems, French Academy of Engineering
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 (Videos)
Plenary Lecture at GYSS January 2025
https://www.youtube.com/watch?v=CusTePsP4fw
Developing effective verification technology, TEDxNiendorf, 2024
https://www.youtube.com/watch?v=8RI32C-WWEY
Joseph Sifakis, 2007 A.M. Turing Award Laureate Interview
https://www.youtube.com/watch?v=qgLIoQWOPZ0&t=12s
Talk: Can We Trust Autonomous Systems? | Joseph Sifakis
https://www.youtube.com/watch?v=kp5iHxTKZG8
Talk: Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, “The Quest for Correctness Beyond Verification”
https://www.youtube.com/watch?v=tdeBgObe-Uc
Joseph Sifakis at GYSS 2021 – Why is it so hard to make self driving cars?
https://www.youtube.com/watch?v=LV6P63bcnYg&t=2s
Ιn Greek
Books
Articles
Interviews
Navigation
Contact Information
Short Bio
Awards & Honors
Relevant Links
Google Scholar
DBLP
Wikipedia
ACM Turing Award 2007
Verimag Webpage
SUSTECH/RITAS
