Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols....
Show More
Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols. Contributions have improved correctness, performance, and reliability of computer systems.
