クヌース賞
1996年に創設。副賞は5,000ドル。ACM SIGACT と IEEE Computer Society のコンピューティングの数学的基礎に関する技術委員会が主催している。授賞式は ACM STOC と IEEE FOCS で交互に行っている。どちらも理論計算機科学の分野では最も権威ある学術会議である。
ゲーデル賞と対象分野が似ているが、ゲーデル賞が個々の論文に与えられるのに対して、クヌース賞は個人の業績全体に対して贈られるものである。