ゲーデル賞

ゲーデル賞 (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 Zuckerman

 受賞論文 

 出典 

Category:計算機科学の賞
Category:アメリカ合衆国の科学技術賞
Category:クルト・ゲーデル
Category:人名を冠した賞