Everybody knows Lamport, LaTex, and/or Paxos.
But I don't think I could name the organization that gives out these so-called 'Turing Awards' or any other recipients.
But I don't think I could name the organization that gives out these so-called 'Turing Awards' or any other recipients.
I'm saying the Turing Award is less famous than LaTeX.
[EDIT] Downvoters: Just out of curiosity, are you more unhappy with me pointing out the incredible practical contributions that Lamport has made, or that I might be somehow questioning the relevance of the Association for Computing Machinery?
Was Turing a member?
And it really is the "Nobel Prize of computer science"; the fact that not all practitioners have heard of it is just another indication of the sad divide between researchers and practitioners in our field. :(