チューリング賞
その計算複雑性理論への多大な貢献により、82年のチューリング賞を受賞。 受賞理由は次の通り。