Leslie Lamport

A Turing Award laureate, Lamport's work on distributed algorithms provided the theoretical bedrock for ensuring correctness and agreement among independent nodes in a distributed database.

Key facts

Role
researcher