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
      • Program 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
  • Overview
  • Awards
    • Abel Prize
    • ACM A.M. Turing Award
    • ACM Prize in Computing
    • Fields Medal
    • IMU Abacus Medal
    • Nevanlinna Prize
  • Masters of Abstraction

Leslie Lamport

* February 7, 1941, New York, New York, USA



ACM A.M. Turing Award - 2013

For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.


ACM profile

Lecture Videos

Year: 2022
Laureate Discussion
Vinton Gray Cerf, Leslie Lamport...
more
Year: 2020
Scientific Dialogue
C. Antony R. Hoare, Leslie Lamport...
more
Year: 2021
Laureate Dialogue
Whitfield Diffie, Leslie Lamport...
more
Year: 2018
Lecture: If You're Not Writing a Program, Don't Use a Programming…
Leslie Lamport
more
Year: 2017
Lecture: How to Write a 21st Century Proof
Leslie Lamport
more
Year: 2016
Lecture: The PlusCal Algorithm Language
Leslie Lamport
more
Year: 2015
Lecture: A Mathematical View of Computer Systems
Leslie Lamport
more
Year: 2014
Lecture: How to write a 21st Century Proof
Leslie Lamport
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