Leslie Lamport, a Microsoft Research principal, has been named the winner of the 2013 ACM A.M. Turing Award, also known as the "Nobel Prize in Computing." The computer scientist was recognized by the Association for Computing Machinery 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."