American computer scientist and mathematician who formulated foundational theories of distributed computing, invented Lamport timestamps, the Paxos consensus algorithm, and LaTeX.