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.