Home
About Me
Publications
Awards & Honors
Photo Gallery
In Greek

Home
About Me
Publications
Awards & Honors
Photo Gallery
In Greek

MENU

Home
About Me
Publications
Awards & Honors
Photo Gallery
In Greek

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

Joseph Sifakis

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

Books

Η φυσική της μεταφυσικής

Το κενό και το φως

https://armosbooks.gr/shop/poiisi/poiisi-elliniki/i-fysiki-tis-metafysikis/
https://armosbooks.gr/shop/filosofia-dokimia-meletes/dokimia-meletes/to-keno-kai-to-fos/
https://armosbooks.gr/shop/filosofia-dokimia-meletes/dokimia-meletes/katanoontas-kai-allazontas-ton-kosmo/

Joseph Sifakis

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