I think the way they choose to introduce him in the blurb below the video is funny: "inventor of Paxos and developer of LaTeX." But Leslie Lamport has a Turing Award!
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. :(