ACM Turing Award for Leslie Lamport

The ACM Turing Award for 2013 goes to Leslie Lamport, who advanced Reliability and Consistency of Computing Systems. Incidentally, Leslie Lamport also developed the original LaTeX typesetting system. For more information check out the ACM Turing Award page.