Leslie Lamport, a principal researcher with Microsoft Research, has been awarded the A.M. Turing Award, the highest honor in the computing industry.
According to the Association for Computing Machinery:
Leslie Lamport originated many of the key concepts of distributed and concurrent computing, including causality and logical clocks, replicated state machines, and sequential consistency. Along with others, he invented the notion of Byzantine failure and algorithms for reaching agreement despite such failures.
A graduate of the legendary Bronx High School of Science, Lamport went on to earn a B.S. and Ph.D. in Mathematics at MIT and Brandeis, respectively. In 1978, he wrote a paper — Time, Clocks and the ordering of Events in a Distributed System, that is viewed as the basis for much subsequent work in distributed systems.
Lamport, who works out of Microsoft Research’s Silicon Valley office, joined the company in 2001 after stints at SRI International and Digital Equipment Corp. More on Lamport and his work here from Microsoft Research.