upcarta
  • Sign In
  • Sign Up
  • Explore
  • Search

Leslie Lamport

7 Followers
community-curated profile
Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols.... Show More

Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols. Contributions have improved correctness, performance, and reliability of computer systems.

Show Less
Overview Content
Most Recommended Recent
  • Video
  • Paper
Video May 17, 2022
The Man Who Revolutionized Computer Science With Math
by Leslie Lamport
Post Add to Collection Mark as Completed
Recommended by 1 person
1 mention
Video Jul 15, 2014
Leslie Lamport: Thinking Above the Code
by Leslie Lamport
Post Add to Collection Mark as Completed
Recommended by 1 person
1 mention
Paper Jul, 1982
The Byzantine Generals Problem
by Leslie Lamport and 2 others
Post Add to Collection Mark as Completed
Recommended by 1 person
1 mention
  • upcarta ©2025
  • Home
  • About
  • Terms
  • Privacy
  • Cookies
  • @upcarta