You skipped over Whitfield Diffie to find someone of public-key cryptography fame, lol. You might like his work too https://en.wikipedia.org/wiki/Whitfield_Diffie
Hal Abelson, first name there, is from the computer science classic SICP book/MIT lecture series - https://groups.csail.mit.edu/mac/classes/6.001/abelson-sussm...