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.
Subscribe to:
Post Comments (Atom)
2 comments:
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.
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.
Post a Comment