ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（国際計算機学会）のアルゴリズムと計算量理論に関する部会とEATCS（ヨーロッパ理論コンピュータ学会）が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。
受賞者一覧 Year 受賞者 授賞理由論文発表年1993 , シャフィ・ゴールドワッサー, シルビオ・ミカリ, , 対話型証明システムの発明 1988, 19891994 パリティ関数の定数深さの回路は、サイズの下界が指数関数となること 19891995 , 1988, 19881996 , マルコフ連鎖と行列のパーマネントの近似に対する業績 1989, 19891997 , 分散環境における「知識」の形式概念の定義 19901998 戸田誠之助 戸田の定理 19911999 ピーター・ショア ショアのアルゴリズム 19972000 , 有限オートマトンによる時相論理への業績 19942001 , , シャフィ・ゴールドワッサー（2回目）, , ラースロー・ロヴァース, , , , と近似の困難さへの応用 1996, 1998, 19982002 の等価性が決定可能であることの証明 20012003 , AdaBoost 19972004 , , , トポロジーの分散コンピューティングへの応用 1999,. Gödel prize lecture 20002005 ノガ・アロン , ヨシ・マティアス, に対する基本的な貢献 1999. First presented at the Symposium on Theory of Computing (STOC) in 1996.2006 マニンドラ・アグラワル, ニラジュ・カヤル, AKS素数判定法 20042007 , 自然な証明 19972008 ダニエル・スピールマン, アルゴリズムの 20042009 , , アヴィ・ヴィグダーソン グラフ理論におけるおよびUSTCONが対数領域で解けること 2002, 20082010 , ユークリッド距離に基づく巡回セールスマン問題に対する多項式時間近似スキームの発見 1998, 19992011 さまざまな組み合わせ問題に対する近似不可能性の証明 20012012 , クリストス・パパディミトリウ, , , , の基礎を築く 2009, 2002, 20012013 , , マルチパーティディフィー・ヘルマン鍵共有およびACM Group Presents Gödel Prize for Advances in Cryptography: Three Computer Scientists Cited for Innovations that Improve Security , Association for Computing Machinery, May 29, 2013. 2003, 20042014 ロナルド・フェイギン, , ミドルウェアのための最適な集約アルゴリズム Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources, Association for Computing Machinery, April 30, 2014. 2003,2015 ダニエル・スピールマン（2回目）, ほぼ線形時間のラプラシアンソルバーに関する一連の論文2015 Gödel Prize announcement by Association for Computing Machinery. 2011, 2013, 20142016 , Concurrent Separation Logic の発明 2007, 20072017 , , , の発明 20062018 問題の導入 20092019 PCP定理に対する新たな証明 20072020 Robin Moser, Lovász Local Lemmaに対する構成的な証明 20102021 Andrei Bulatov, , , , David Richerby 制約充足問題の数え上げの複雑さの分類に関する研究2013 2013 20172022Zvika Brakerski, , Vinod Vaikuntanathan効率的な完全準同型暗号の構築による暗号理論への革新的な貢献2014, 20142023 Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf 2024 Ryan Williams2025 Eshan Chattopadhyay, David Zuckerman2026 Ilias Diakonikolas, Gautam Kamath, Daniel Kane, Jerry Li, Ankur Moitra, Alistair Stewart
受賞論文
出典