Leslie Lamport
Leslie Lamport is a computer scientist whose research helped establish the foundations of distributed computing. His work includes logical clocks, state machine replication, the Byzantine Generals problem and Paxos. He received the Turing Award.