Turing Award
ジョン・コックは後に801に関する功績を認められ、チューリング賞（1987年）とアメリカ国家科学賞を獲得した。