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
Awards & Honors
Turing Award
, 2007
[14]
Leonardo da Vinci Medal, 2012
[15]
Grand Officer of the National Order of Merit, France, 2008
[16]
Commander of the Legion of Honor
, France, 2011
[17]
Member of the French Academy of Sciences, 2010
[18]
Member of Academia Europaea, 2008
[19]
Member of the French Academy of Engineering, 2008
[20]
Member of the American Academy of Arts and Sciences, 2015
[21]
Member of the National Academy of Engineering, 2017
[22]
Member of the Chinese Academy of Sciences, 2019
[23]
Member of the American Academy of Sciences 2024
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