John Cocke
For his work on the 801, John Cocke was awarded the Turing Award in 1987, National Medal of Technology in 1991, and the National Medal of Science in 1994.