Facebook
Twitter
Instagram
YouTube
HLFF Blog
flickr
Contact
Downloads | NEWSROOM | Press NewsDownloads | NEWSROOM | Press News
  • HLFF
  • MAINS
Heidelberg Laureate Forum
  • About
    • About us
    • Scientific Committee
    • Partners
    • Team
    • Code of Conduct
    • Open Positions
  • Forum
    • 10th HLF 2023
    • Past HLFs
      • 9th HLF 2022
      • 8th HLF 2021
      • Virtual HLF 2020
      • 7th HLF 2019
      • 6th HLF 2018
      • 5th HLF 2017
      • 4th HLF 2016
      • 3rd HLF 2015
      • 2nd HLF 2014
      • 1st HLF 2013
    • Upcoming Events
    • Structure of the Forum
    • Outreach
  • Laureates
    • Overview
    • Awards
      • Abel Prize
      • ACM A.M. Turing Award
      • ACM Prize in Computing
      • Fields Medal
      • IMU Abacus Medal
      • Nevanlinna Prize
    • Masters of Abstraction
  • Young Researchers
    • FAQ
    • Alumni
      • AlumNode
      • HLFF Spotlight: Alumni in Action
      • HLFF Inspiring Minds
    • HLFF Spotlight
      • HLFF Spotlight: Alumni in Action
      • HLFF Spotlight: 9th HLF
    • Contact
  • Journalists
  • Apply now!
  • Overview
  • Awards
    • Abel Prize
    • ACM A.M. Turing Award
    • ACM Prize in Computing
    • Fields Medal
    • IMU Abacus Medal
    • Nevanlinna Prize
  • Masters of Abstraction

Joseph Sifakis

* December 26, 1946, Heraklion, Greece



ACM A.M. Turing Award - 2007

Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.


ACM profile

Lecture Videos

Year: 2022
Laureate Discussion
Vinton Gray Cerf, Leslie Lamport...
more
Year: 2021
Laureate Discussion: Ethical, Societal and Environmental Implications…
Shafrira Goldwasser, David A. Patterson...
more
Year: 2020
Lecture: Why is it so hard to make self-driving cars? (Trustworthy…
Joseph Sifakis
more
Year: 2019
Lecture: Can We Trust Autonomous Systems? Boundaries and Risks
Joseph Sifakis
more
Year: 2018
Lecture: Autonomous Systems – A Rigorous Architectural…
Joseph Sifakis
more
Year: 2017
Lecture: How Much Hard is System Design?
Joseph Sifakis
more
Year: 2016
Lecture: On the Nature of Computing
Joseph Sifakis
more
Year: 2014
Lecture: Is Computing a Science?
Joseph Sifakis
more
Year: 2013
Lecture: System Design Science
Joseph Sifakis
more
Office / Exhibitions:
MAINS
Kurfürstenanlage 52
69115 Heidelberg
Germany
Registered Office / Postal Address:
Schloss-Wolfsbrunnenweg 33
69118 Heidelberg
Germany
Write to us
+49 6221 533-380
© 2023 Heidelberg Laureate Forum Foundation
Founded and funded by
  • Imprint
  • Privacy Policy