Today, the 2013 ACM Turing Award has been awarded to Leslie Lamport, Principal Researcher at Microsoft Research:
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.
Lamport has not only advanced the reliability and consistency of computing systems that work as intended (for example, temporal logic of actions (TLA) and Byzantine fault tolerance), but also created LaTeX!
Read the full award citation.
(also see: the 2012 recipients, as well as the full chronological listing of awards)
Digital, Data & Policy 