Leslie Lamport of Microsoft Research is rewarded for his outstanding contributions to computer science with the 2013 ACM A.M. Turing Award. Lamport is well known to computer scientists around the world for his foundational work in distributed computing, including the creation of the Paxos algorithm for implementing fault-tolerant distributed systems. His 1978 paper, "Time, Clocks, and the Ordering of Events in a Distributed System," is one of the most cited in the history of computer science. Lamport’s immense contributions have resulted in improved correctness, performance, and reliability of computer systems used around the world today.Education

• B.S. -- M.I.T., 1960. (Mathematics)
• M.A. -- Brandeis University, 1963. (Mathematics)
• Ph.D. -- Brandeis University, 1972. (Mathematics)
  

Employment

• Mitre Corporation (part-time, 1962-1965)
• Marlboro College (1965-1969)
• Massachusetts Computer Associates (1970-1977)
• SRI International (1977-1985)
• Digital Equipment Corporation / Compaq (1985-2001)
• Microsoft Research (2001-present)
  

Honors

• National Academy of Engineering (1991)
• PODC Influential Paper Award (2000) (for paper [27])
• Honorary Doctorate, University of Rennes (2003)
• Honorary Doctorate, Christian Albrechts University, Kiel (2003)
• Honorary Doctorate, Ecole Polytechnique Fédérale de Lausanne (2004)
• IEEE Piore Award (2004)
• Edsger W. Dijkstra Prize in Distributed Computing (2005) (for paper [41])
• Honorary Doctorate, Università della Svizzera Italiana, Lugano (2006)
• ACM SIGOPS Hall of Fame Award (2007) (for paper [27])
• Honorary Doctorate, Université Henri Poincaré, Nancy (2007)
• LICS 1988 Test of Time Award (2008) (for paper [92])
• IEEE John von Neumann Medal (2008)
• National Academy of Sciences (2011)
• ACM SIGOPS Hall of Fame Award (2012) (for paper [122])
• Jean-Claude Laprie Award in Dependable Computing (2013) (for paper [46])
• ACM SIGOPS Hall of Fame Award (2013) (for paper [66])
  

179 papers lists can be seen http://research.microsoft.com/en ... bs.html#time-clocks
Source：http://research.microsoft.com/apps/video/default.aspx?id=210551