Hortonworks would like to congratulate Leslie Lamport on winning the 2013 Turing Award given by the Association of Computing Machinery. This award is essentially the equivalent of the Nobel Prize for computer science. Among Lamport’s many and varied contributions to the field computer science are: TLA (Temporal Logic for Actions), LaTeX and PAXOS.
The Hortonworks Blog
More from Alfred Thompson