1995年ACM A・M・チューリング賞
受賞理由
計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して。
受賞者
マヌエル・ブラム
計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して。