Leslie Lamport - A.M. Turing Award Winner:
"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."
Leslie Lamport, a Principal Researcher at Microsoft Research, has been named as the recipient of the 2013 ACM A.M. Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems
Leslie Lamport Selected as 2013 ACM A.M. Turing Award Winner | Microsoft Research Luminaries | Channel 9
E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems | Going Deep | Channel 9
research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
Paxos (computer science) - Wikipedia, the free encyclopedia
LaTeX - Wikipedia, the free encyclopedia
Turing Award - Wikipedia, the free encyclopedia
No comments:
Post a Comment