Leslie Lamport erhält den Turing Award 2013. Die Begründung: "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." Das Verständnis für das Verhalten von verteilt und parallel arbeitenden Computersystemen ist z.B. für Cloud-Anwendungen sehr wichtig. Der 1941 geborene Lamport arbeitet z.Zt. bei Microsoft Research und hat Anfang der 80er Jahre das Texverarbeitungssystem LaTEX entwickelt.