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.
Organised by
Supported by
the European Union through the Enhanced Regional EU-ASEAN Dialogue Instrument (E-READI)
Sponsored by
All Rights Reserved | ASEAN HPC School