高德納獎
外观
高德納獎(英語:Donald E. Knuth Prize), 授予为计算机科学基础做出杰出贡献的人,以計算機科學家高德納命名。
高德纳奖始于1996年,每1.5年颁发一次,包括5000美元奖金。现在奖项由 ACM计算机理论研讨会和IEEE计算机科学基础研讨会交替颁发。
高德纳奖的获得者由颁奖委员会选出。颁奖委员会由六名选自ACM算法与计算理论特别兴趣组和IEEE计算机数学基础技术委员会的独立的教授组成。委员会将会特别注意一个持续高效的记录和为计算机科学基础做出的开创性的贡献。选择范围也可能部分包括教育方面的成就和贡献,例如编写基础方面的教科书和培养高质量的学生。但是奖项不是基于公众服务工作的,尽管一个获奖者可能涵盖了前文所述的服务工作。
得獎者
[编辑]| 年份 | 獲獎者 | 原因 |
|---|---|---|
| 1996 | 姚期智 | 計算複雜度領域的基礎研究[1] |
| 1997 | 莱斯利·瓦利安特 | 對計算複雜度、平行運算及學習理論的研究作出深遠貢獻[2] |
| 1999 | 洛瓦斯·拉斯洛 | 對演算法理論產生了巨大影響,以及已成為理論計算機科學中標準工具的基礎發現[3] |
| 2000 | 杰弗瑞·乌尔曼 | 長期以來對理論計算機科學的卓越研究貢獻,特別是與編譯器、並行計算及資料庫等計算機科學應用領域相關的研究;以及透過編寫教科書及指導研究生,對理論計算機科學教育所作出的貢獻[4] |
| 2002 | 赫里斯托斯·帕帕季米特里乌 | 對計算機科學基礎領域所作出的長期且開創性的貢獻[5] |
| 2003 | 阿伊泰伊·米克洛什 | 在理論計算機科學領域作出眾多開創性貢獻[6][7] |
| 2005 | 米哈利斯·揚納卡基斯 | 在理論計算機科學領域作出眾多開創性貢獻[8] |
| 2007 | 南希·林奇 | 對分散式運算理論所作出的開創性且具深遠影響的貢獻[9] |
| 2008 | 沃爾克·施特拉森 | 對高效演算法所作出的開創性且具深遠影響的貢獻[10] |
| 2010 | 大衛·S·約翰遜 | 在演算法理論與實驗分析方面的貢獻[11][12][13][14] |
| 2011 | 拉文德蘭·坎南 | 為理論計算機科學提供了許多強大且嶄新的演算法技術[15] |
| 2012 | 利奧尼德·李文 | 在複雜性理論、密碼學及資訊理論領域四十年來具前瞻性的研究[16] |
| 2013 | 加里·米勒 | 對密碼學、數論、平行運算、圖論、科學運算的網格生成,以及線性方程組求解均產生重大影響[17] |
| 2014 | 理查德·利普頓 | 開創新的電腦科學與數學技術,用以解決圖論演算法、計算、通訊、程式測試及DNA運算等廣泛領域中的基礎與實務問題[18][19] |
| 2015 | 鮑鮑伊·拉斯洛 | 在理論計算機科學領域的根本性貢獻,包括演算法設計與複雜度理論[20] |
| 2016 | 諾姆·尼散 | 在通訊複雜度、偽隨機數產生器、互動式證明及演算法博弈論等領域,對理論計算機科學作出根本性且持久的貢獻[21] |
| 2017 | 奧德·戈德里克 | 在理論計算機科學的許多領域——包括密碼學、隨機性、可概率驗證的證明、不可近似性、屬性測試,以及廣義的複雜性理論——所作出的根本性且持久的貢獻[22] |
| 2018 | 約翰·哈斯塔德 | 在計算機科學基礎領域長期且持續地取得多項里程碑式的突破,對優化、密碼學、平行運算及複雜性理論等眾多領域產生深遠影響[23] |
| 2019 | 阿维·威格德森 | 在計算機科學基礎領域——包括隨機計算、密碼學、電路複雜度、證明複雜度、平行計算,以及對圖的基本性質之理解——所作出的根本性且持久的貢獻[24][25] |
| 2020 | 辛西亞·德沃克 | 對電腦科學所作出的根本性且深遠的貢獻[26][27][28][29] |
| 2021 | 摩西·瓦爾迪 | 將數學邏輯應用於計算機科學多個基礎領域,並作出傑出貢獻[30][31][32] |
| 2022 | 諾加·阿隆 | 在組合數學與圖論領域的基礎性貢獻,以及對計算機科學基礎議題的應用[33] |
| 2023 | 陶爾多什·埃娃 | 在該領域的廣泛研究貢獻與領導地位[34] |
| 2024 | 拉耶夫·阿呂爾 | 對計算機科學基礎領域作出傑出貢獻,其所提出的嶄新計算模型,為計算機系統的分析、設計、合成與驗證奠定了理論基礎[35] |
| 2025 | 米卡·夏爾 | 對計算幾何與離散幾何的開創性貢獻、演算法運動規劃的發展、對計算幾何領域的革新,以及對數代研究者的啟發[36] |
参考来源
[编辑]- ^ SMU Panel Discussion on Creating the Future Through Computing with Distinguished Turing Award Panelists, Singapore Management University
- ^ Valiant Receives 2010 Turing Award (PDF), Notices of the American Mathematical Society (June/July 2011)
- ^ Shelton, Ji. 2021 Abel Prize winner was a Yale math and computer science mainstay. Yale News (Yale University). March 29, 2021 [April 24, 2022].
- ^ Shelton, Jim. ACM Turing Award honors innovators who shaped computer programming: Aho and Ullman developed tools and seminal textbooks used by millions of software programmers. EurekAlert! (AAAS). March 31, 2021 [April 24, 2022].
- ^ Bernadette Young, Professor Christos Papadimitriou Awarded the 2018 Harvey Prize, Columbia University, Engineering, 8 Oct 2019
- ^ SIGACT Annual Report July 2002 – June 2003; 1. Awards that were given out, ACM, 2003
- ^ 2003 Knuth Prize Miklos Ajtai, ACM, October 9, 2003
- ^ 2005 Knuth Prize Mihalis Yannakakis, ACM, May 1, 2006
- ^ Nancy Lynch Named Recipient of ACM Award for Contributions to Reliability of Distributed Computing, MIT Computer Science & Artificial Intelligence Lab, 4 April 2007
- ^ ACM SIGACT 2008 Knuth Prize Recognizes Strassen for Contributions to Efficient Algorithm Design, ACM, October 23, 2008
- ^ In Memoriam: David S. Johnson, Computing Research Association, April 2016
- ^ Linda Crane, David S. Johnson: In Memoriam, Columbia University, Computer Science
- ^ Lee L. Keener, David S. Johnson '67, Amherst Magazine
- ^ AT&T Labs Researcher to Receive ACM SIGACT Knuth Prize for Algorithm Innovations, ACM, March 2, 2010
- ^ Three Microsoft India researchers named ACM fellow, Illinois Intelligencer, 9 December 2016
- ^ Citation: 2012 Knuth Prize (PDF), ACM, July 15, 2012
- ^ ACM Awards Knuth Prize to Creator of Problem-Solving Theory and Algorithms, ACM, April 4, 2013
- ^ ACM Awards Knuth Prize to Pioneer for Advances in Algorithms and Complexity Theory. Association for Computing Machinery. September 15, 2014. (原始内容存档于September 20, 2014).
- ^ Tylor, Phillip. ACM, IEEE Taps Lipton for Prestigious Knuth Prize. News Center (Georgia Tech). 2014 [April 24, 2022].
- ^ 2015 Knuth Prize Citation for László Babai (PDF), ACM, May 17, 2015
- ^ ACM Awards Knuth Prize to Pioneer of Algorithmic Game Theory, ACM, September 8, 2016
- ^ 2017 Knuth prize is Awarded to Oded Goldreich (PDF), ACM, June 13, 2017
- ^ 2018 Knuth Prize is Awarded to Johan Håstad (PDF), ACM, August 6, 2018
- ^ Sue Gee, Knuth Prize 2019 Awarded For Contributions To Complexity Theory, 7 April 2019
- ^ "Optimization, Complexity and Math ... using Gradient" – Knuth Prize Lecture, STOC 2019 – Avi Wigderson, March 3, 2020, (原始内容存档于2021-12-14)
- ^ Elizabeth Salazar, Cynthia Dwork wins Knuth Prize for Outstanding Contributions to the Foundations of Computer Science, Harvard University, 15 May 2020
- ^ Leading authority on cryptography and data privacy receives Knuth Prize, American Association for the Advancement of Science, 2 June 2020 [26 March 2021], (原始内容存档于9 May 2021)
- ^ Knuth Prize Lecture – Cynthia Dwork, 25 November 2020, (原始内容存档于2021-12-14)
- ^ Harvard Professor Receives Prize for Contributions to Theoretical Computer Science. HPC Wire. June 2, 2020 [April 24, 2022].
- ^ 2021 Knuth Prize is Awarded to Moshe Vardi (PDF), ACM, May 9, 2021
- ^ STOC 2021 – Knuth Prize talk: Logic and Computation – A Match Made in Heaven – Moshe Vardi, Jul 14, 2021, (原始内容存档于2021-12-14)
- ^ Boyd, Jade. Moshe Vardi wins Knuth Prize. Jewish Herald-Voice. May 27, 2021 [April 24, 2022].
- ^ 2022 Knuth Prize Awarded to Noga Alon (PDF). ACM Special Interest Group on Algorithms and Computation Theory. [July 2, 2022].
- ^ Tardos honored with 2023 Knuth Prize. [June 24, 2023].
- ^ 2024 Knuth Prize: Rajeev Alur. ACM Special Interest Group on Algorithms and Computation Theory. [August 8, 2024].
- ^ 2025 Knuth Prize. www.sigact.org. [2025-05-21].