Leslie Lamport wins Turing Award!
See here for more details.
Leslie did work on reliability of systems and security that
(according to the article) is ACTUALLY BEING USED. So Real People
use his stuff.
He also developed LaTeX (building on TeX) which we all know and most
of us use. Academics use LaTeX but I honestly don't know how wide spread
it is outside of academia. However, this could be the first time that a Turing award winner did something that I used DIRECTLY (I am sure I use RSA and other things indirectly).
How well known is The Turing Award? its called `the nobel prize of computer science' but I think its far less well known than the Nobel Prize.
The Fields Medal and he Mill Prize got a big publicity boost when Perelman turned them down. But that only got them 15 minutes of fame, including a Stephen Colbert segment `whose not honoring me now'. So I will not be urging Leslie Lamport to turn down his Turing Award in order to give it more fame.