Dr Leslie Lamport

Leslie Lamport is the recipient of the 2013 ACM A.M. Turing Award for his 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. Dr. Lamport's research has been centered on concurrency and fault-tolerance. He is the inventor of several well-known concurrent and distributed algorithms, including early algorithms for tolerating "Byzantine" faults. He has also developed methods for formally specifying and verifying concurrent systems.

Lamport received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, followed by M.A. (1963) and Ph.D. (1972) degrees in mathematics from Brandeis University.

  • Awards:
  • Five honorary doctorates (University of Rennes (2003), Christian Albrechts University of Kiel (2003), École Polytechnique Fédérale de Lausanne (EPFL) (2004), University of Lugano (2006), Nancy-Université (2007)
  • The PODC Influential Paper Award (2000)
  • Two Dijkstra Prizes in Distributed Computing (2000, 2005)
  • Three ACM SIGOPS Hall of Fame Awards (2007, 2012, 2013)
  • The Jean-Claude Laprie Awards in Dependable Computing (2013)
  • The IEEE Emanuel R. Piore Award (2005)
  • The IEEE John von Neumann Medal (2008)
  • The ACM Turing award (2013)
  • Members:
  • the U.S. National Academy of Sciences
  • the U.S. National Academy of Engineering
  • the American Academy of Arts and Sciences. 
Share by: