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