チューリング賞
1966年、「プログラミング技法とコンパイラ構築の分野への貢献に対して」チューリング賞を受賞。これは、彼がALGOL言語の開発チームで行った仕事を指している。