哥德尔奖

哥德尔奖（）是一個頒發給理論計算機科學領域傑出論文的年度獎項，由（EATCS）和美國計算機協會算法和計算理論特別興趣小組（）聯合頒發。該獎項是為紀念庫爾特·哥德爾而命名的。哥德爾是第一個提出P/NP問題的人，在1956年寫給約翰·馮·諾伊曼的信中，哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決。

哥德爾獎於1993年開始在STOC（ACM，北美理論計算機科學的主要會議之一）或ICALP（，該領域的主要歐洲會議之一）上頒發。獲獎論文必須在理論計算機領域具有開創性重大貢獻，同時需在獲獎前14年內在學術期刊上正式發表。該獎項包括5,000美元的獎金。

哥德爾獎的評審委員會由6名成員組成，分別由EATCS主席和SIGACT主席各提名三名成員，任期三年並交錯進行。委員會由EATCS和SIGACT的代表輪流擔任主席。

 获奖者 
年份  獲獎者  原因 發表時間1993 、莎菲·戈德瓦塞爾、希爾維奧·米卡利、、  表彰其開發交互式證明系統  198819891994   表彰其證明恆深大小的指數下界（對於）  19891995 、  表彰其證明非決定性空間複雜性的  198819881996 、阿利斯泰爾·辛克萊爾  表彰其在馬可夫鏈和矩陣積和式的近似方面的工作  198919891997 、  表彰其為分佈式環境中的「知識」定義一個正式的概念  19901998   表彰其證明顯示計數解（PP）和量詞交替（PH）之間的關聯的戶田定理  19911999 彼得·秀爾  表彰其開發在量子計算機上以多項式時間計算整數分解的秀爾算法  19972000 、  表彰其在有限狀態機的時間邏輯方面的工作  19942001 、、莎菲·戈德瓦塞爾、、洛瓦茲·拉茲洛、、、、  表彰其證明以及在近似硬度方面的應用  1996199819982002   表彰其證明確定下推自動機的等價性是的  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  、、阿維·威格森  表彰其證明圖的和對數空間中的  200220082010 、 表彰其發現歐幾里得旅行推銷員問題（ETSP）的多項式時間近似算法（PTAS）  199819992011    表彰其證明各種組合問題的最佳非近似性結果  20012012  、赫里斯托斯·帕帕季米特里烏、諾姆·尼散、、、陶爾多什·埃娃  表彰其奠定的基礎 2009200120022013  丹·博内、、  表彰其開發多方迪菲-赫爾曼密鑰交換和密碼學中的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. 200320042014  、阿姆農·洛特姆（Amnon Lotem）、  表彰其開發中介軟體的最佳集合算法 Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources , Association for Computing Machinery, April 30, 2014. 20032015  、滕尚华  表彰其開發近線性時間的拉普拉斯求解器2015 Gödel Prize announcement  by Association for Computing Machinery. 2011201320142016  史蒂芬·布魯克斯（Stephen Brookes）、  表彰其開發並行  200720072017 、、、  表彰其開發差分隱私 20062018   表彰其介紹容錯學習問題  20092019   表彰其利用間隙放大法重新證明  20072020 羅賓·莫瑟（Robin Moser）、  表彰其對的  20102021 安德烈·布拉托夫（Andrei Bulatov）、、、、大衛·里切爾比（David Richerby）  表彰其在約束滿足問題的分類方面的工作  2013201320172022 茲維卡·布拉克斯基（Zvika Brakerski）、、維諾德·維昆塔森（Vinod Vaikuntanathan）  表彰其通過構建高效的全同態加密（FHE）法對密碼學的變革性貢獻  201420142023塞繆爾·費奧里尼（Samuel Fiorini）、、塞巴斯蒂安·波庫塔（Sebastian Pokutta）、漢斯·拉吉·提瓦利（Hans Raj Tiwary）、、托馬斯·羅斯沃斯（Thomas Rothvoss）表彰其透過建構高效率的完全同態加密（FHE）方案，對密碼學所做的轉變性貢獻2015,20172024表彰他在電路下界和「下界演算法」範例方面的工作20112025艾尚·查托帕迪亞伊（Eshan Chattopadhyay）、以表彰其建構「具備多對數最小熵的顯式雙源萃取器，解決了計算理論中一個已存在將近三十年的核心問題」2016

 獲獎論文 

 参考文献 

Category:理論計算機科學
Category:计算机科学奖项
Category:以人名命名的奖项
Category:1993年建立的奖项
Category:年度事件