Not exactly one to one, but I feel like Leslie Lamport kind of fits into that?

Lamport has touched a ton of aspects of computer science and made many contributions, but manages to still explain things in a clear, easy-to-understand manner. I feel like his talks are just as fun to watch as they are educational, and I think his papers are generally very approachable while still being pretty information-dense.

I would love to see him write a book, or even just publish a nice compendium of his papers ala Donald Knuth's Collected Papers series (with light editing/updating, background info, commentary, etc.) I think that would truly be a pleasure to read.

I would too, though I should point out that I think all of Lamport's papers and books are free on his website: http://lamport.azurewebsites.net/pubs/pubs.html?from=https:/...

Some of them even have some basic background information if you click the link (e.g. Arbiter-Free Synchronization).

In terms of science popularization, Sean Carroll [0], I would think. In terms of the scientific impact (read: major advance in science) we'll have to wait for quantum theory of gravity Nobel prize, probably. I could be wrong, of course.

[0] https://en.wikipedia.org/wiki/Sean_M._Carroll

Andrej Karpathy