Tuesday, March 18, 2014

Leslie Lamport wins Turing Awards

In another sign that these Turing Award committees really know what they're doing, Leslie Lamport has won the Turing Award.  There's a very nice writeup including the history of his work up on an official Microsoft blog post.

While I know there are arguably many people deserving of a Turing Award, Leslie Lamport is an amazingly obvious and absolutely fantastic choice.  His body of work is truly inspiring, and as the above links show, his work has had a huge effect on us all.   


Unknown said...

CONGRATULATIONS. also his work in Tex is quite widespread/valuable to the scientific community & represents an early use of Open Source/Open Science. and he did work on byzantine generals problem which is the problem at the heart of the bitcoin algorithm.

Sasho said...

Here is a fun read: Lamport's own short descriptions of all (or at least the vast majority) of his technical writings http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.htm.