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, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.
ACM (Association for Computing Machinery) announced that the funding level for the ACM Turing Award is now $1,000,000 (to be provided by Google). The new amount is four times its previous level. It seems to me the 14th of November 2014 is a bit late to announce the 2013 award winner, but for an extra $750,000 I would gladly wait a year (or a decade for that matter).
The new award level brings the computer science award to the level of Nobel Prizes and the Fields medal.
Leslie Lamport’s 1978 paper, “Time, Clocks, and the Ordering of Events in a Distributed System,” one of the most cited in the history of computer science.
Read more about the work of Leslie Lamport.