ACM, Intel, and Google congratulate
LESLIE LAMPORT
For 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.
“His pioneering work in distributed and concurrent algorithms
substantially improved consumer and industrial computing
systems, ranging from multiprocessor technology used in data
centers to multicomputer networks used in aircraft control
systems. The brilliant ‘logical clock’ abstraction he introduced
some 40 years ago has had an immense impact on the field. It
provided an elegant framework for reasoning about distributed
protocols which are critical elements of the interconnected world.”
Wen-Hann Wang
Corporate Vice President and Managing Director
Intel Labs
For more information see www.intel.com/research/
by the community◆ from the community◆ for the community
THE ACM A. M. TURING AWARD
“With the growing shift to ever-larger scale distributed systems
and cloud computing, Lamport’s work has taken on a significantly increased role. His results have benefited many research
communities including those in parallel and high performance
computing systems, concurrent algorithms, and software
reliability. And, his work has had implications not just in
the theoretical community, but also with the engineers and
programmers who design and implement many types of systems.”
Alfred Spector
Vice President of Research
Google Inc.
For more information see http://research.google.com/
Financial support for the ACM A. M. Turing Award is provided by Intel Corporation and Google Inc.
P
ho
tocou
r
te
syo
fMic
ros
of
t