图灵奖
图灵奖（Turing Award），全名为ACM A.M. Turing Award，是计算机科学领域最高的荣誉奖项，被誉为计算机科学界的诺贝尔奖。该奖项由美国计算机协会（ACM, Association for Computing Machinery）于1966年设立，以纪念英国计算机科学家艾伦·图灵（Alan Turing）。图灵奖的设立旨在表彰在计算机科学领域作出突出贡献的个人。
图灵奖每年颁发一次，奖励计算机科学家在理论、实践、技术发展或教育等方面的卓越成就。获奖者会得到一笔奖金（截至2021年，奖金为100万美元，由谷歌赞助）以及一枚奖章。获得图灵奖的科学家在计算机科学领域取得了重要突破，他们的工作对学术界和工业界产生了深远的影响。
近期获奖者（2001-2023）
- 2023年：艾维·维格森（Avi Wigderson）
- 贡献领域：计算中随机性与伪随机性的理论研究。
- 2021年：杰克·唐加拉（Jack Dongarra）
- 2020年：Alfred Aho和Jeffrey Ullman
- 贡献领域：编译原理
- 2019年：Edwin Catmull和Patrick Hanrahan
- 贡献领域：计算机图形学及其应用
- 2018年：约书亚·本吉奥（Yoshua Bengio）、杰弗里·辛顿（Geoffrey Hinton）、扬·莱坎（Yann LeCun）
- 2017年：John Hennessy和David Patterson
- 2016年：蒂姆·伯纳斯-李（Tim Berners-Lee）
- 贡献领域：万维网发明。
- 2015年：惠特菲尔德·迪菲（Whitfield Diffie）与马丁·赫尔曼（Martin Hellman）
- 贡献领域：非对称加密（迪菲-赫尔曼密钥交换）。
- 2014年：Michael Stonebraker
- 贡献领域：对现代数据库的概念和实践做出根本性贡献
- 2013年：Leslie Lamport
- 贡献领域：对分布式及并行系统的理论与实践有基础性贡献
- 2012年：莎菲·戈德瓦塞尔（Shafi Goldwasser）与希尔维奥·米卡利（Silvio Micali）
- 贡献领域：密码学与复杂理论验证机制。
- 2011年：Judea Pearl
- 2010年：Leslie Valiant
- 贡献领域：对众多计算理论做出变革性贡献
- 2009年：Charles Thacker
- 贡献领域：帮助设计、制造第一款现代PC
- 2007年：Barbara Liskov
- 2007年：爱德蒙·克拉克（Edmund Clarke）、艾伦·爱默生（Allen Emerson）、约瑟夫·斯发基斯（Joseph Sifakis）
- 贡献领域：模型检查技术。
- 2006年：Frances Allen
- 2005年：Peter Naur
- 2004年：文特·瑟夫（Vinton Cerf）与罗伯特·卡恩（Robert Kahn）
- 2003年：Alan Kay
- 贡献领域：面向对象编程，Smalltalk 语言之父
- 2002年：罗纳德·李维斯特（Ronald Rivest）、阿迪·萨莫尔（Adi Shamir）、伦纳德·阿德曼（Leonard Adleman）
- 2001年：Ole-Johan Dahl和Kristen Nygaard
- 贡献领域：面向对象编程
中期获奖者（1981-2000）
- 2000年：姚期智（Andrew Yao）
- 贡献领域：计算理论（首位华人获奖者）。
- 1999年：Frederick Phillips
- 1998年：James Nicholas Gray
- 1997年：Douglas Engelbart
- 1996年：Amir Pnueli
- 贡献领域：时序逻辑，程序与系统验证
- 1995年：Manuel Blum
- 1994年：爱德华·费根鲍姆（Edward Feigenbaum）与拉吉·瑞迪（Raj Reddy）
- 贡献领域：大规模人工智能系统。
- 1993年：Juris Hartmanis和Richard Strearns
- 贡献领域：计算复杂度理论
- 1992年：Bulter Lampson
- 1991年：罗宾·米尔纳（Robin Milner）
- 贡献领域：LCF、ML语言与并发理论（CCS）。
- 1990年：费尔南多·考巴托（Fernando Corbato）
- 1987年：约翰·科克（John Cocke）
- 1986年：约翰·霍普克洛夫特（John Hopcroft）与罗伯特·塔扬（Robert Tarjan）
- 1985年：理查德·卡普（Richard Karp）
- 1984年：尼克劳斯·维尔特（Niklaus Wirth）
- 1983年：肯·汤普森（Ken Thompson）与丹尼斯·里奇（Dennis Ritchie）
- 贡献领域：UNIX操作系统与C语言。
- 1982年：斯蒂芬·古克（Stephen Cook）
- 贡献领域：NP完全性理论奠基。
- 1981年：埃德加·科德（Edgar Codd）
- 贡献领域：关系型数据库理论。
早期获奖者（1966-1980）
- 1980年：托尼·霍尔（Tony Hoare）
- 贡献领域：霍尔逻辑与程序设计语言理论。
- 1979年：肯尼斯·艾佛森（Kenneth Iverson）
- 1978年：罗伯特·弗洛伊德（Robert Floyd）
- 1977年：约翰·巴克斯（John Backus）
- 贡献领域：发明FORTRAN语言，推动高级编程系统。
- 1976年：迈克尔·拉宾（Michael Rabin）与达纳·斯科特（Dana Scott）
- 贡献领域：非确定性自动机理论。
- 1975年：艾伦·纽厄尔（Allen Newell）与赫伯特·西蒙（Herbert Simon）
- 1974年：高德纳（Donald Knuth）
- 贡献领域：算法分析与《计算机程序设计艺术》巨著。
- 1973年：查尔斯·巴赫曼（Charles Bachman）
- 贡献领域：数据库技术先驱，设计网状数据库模型。
- 1972年：艾兹格·迪科斯彻（Edsger Dijkstra）
- 贡献领域：结构化程序设计先驱，提出最短路径算法。
- 1971年：约翰·麦卡锡（John McCarthy）
- 1970年：詹姆斯·维尔金森（James H. Wilkinson）
- 贡献领域：数值分析中的“向后误差分析法”。
- 1969年：马文·明斯基（Marvin Minsky）
- 贡献领域：人工智能奠基人之一，提出框架理论。
- 1968年：理查德·汉明（Richard Hamming）
- 贡献领域：错误检测与纠错码（如“汉明码”）。
- 1967年：莫里斯·威尔克斯（Maurice V. Wilkes）
- 贡献领域：设计并制造第一台存储程序式计算机EDSAC。
- 1966年：艾伦·佩利（Alan J. Perlis）
本文作者：Maeiee
本文链接：图灵奖
版权声明：如无特别声明，本文即为原创文章，版权归 Maeiee 所有，未经允许不得转载！
喜欢我文章的朋友请随缘打赏，鼓励我创作更多更好的作品！
