Logo Logo
  • 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
Logo Logo

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

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

Contact Details

  • Email: Joseph.Sifakis@univ-grenoble-alpes.fr
  • Web Site: http://www-verimag.imag.fr/~sifakis/
  • Phone: +33 (0)4.57.42.22.44
  • Fax: +33 (0)4.57.42.22.22
  • Surface mail:
    Verimag Laboratory Bâtiment IMAG 700, Avenue Centrale 38401, France
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