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 latter of these, the PAXOS three phase consensus protocol, inspires the Zookeeper coordination service, and powers HBase and highly available HDFS. Lamport described the algorithm for the PAXOS protocol with creativity and wit in his paper titled “The Part-Time Parliament” which was submitted in 1990 and published in 1998.
We are delighted to celebrate Lamport’s contribution and the application of his work to the Apache Hadoop family of open source projects. Hadoop clusters process and serve some of the world’s largest datasets in an efficient and fault tolerant manner.
Lamport was born February 8, 1941 in New York City. Lamport graduated from Bronx High School of Science, and received a B.S. in Mathematics from M.I.T in 1960, and M.S. and Ph.D. degrees in Mathematics from Brandeis University in 1963 and 1972, respectively. His previous awards include the Dijkstra Prize in Distributed Computing in 2005, and the von Neumann Medal in 2008. He currently works as a Research Scientist at Microsoft Research.