1993年ACM A・M・チューリング賞
受賞理由
計算複雑性理論の分野を確立した独創的な論文に対して。
受賞者
ユリス・ハルトマニス
リチャード・スターンズ