Kurt Gödel Alonzo Church Haskell Curry Alan Turing John von Neumann Edsger Dijkstra Jon Postel Ron Rivest Adi Shamir Leonard Adleman David Harel Charles Babbage Ada Lovelace David Hilbert