首页 > 热点资讯 > 正文

1966-2021图灵奖获得者_历届图灵奖得主

2025-03-06 18:55 来源:网络

今天给各位分享1966-2021图灵奖获得者?_历届图灵奖得主?,其中也会对大家所疑惑的内容进行解释,如果能解决您现在面临的问题,别忘了关注多特软件站哦,现在开始吧!

1966-2021图灵奖获得者?

图灵奖(Turing Award),全称A.M. 图灵奖(ACM A.M. Turing Award),是由美国计算机协会(ACM)于1966年设立的计算机奖项,以纪念艾伦·麦席森·图灵(Alan M. Turing)。该奖项旨在表彰对计算机事业作出杰出贡献的个人。图灵奖评选条件极为严格,每年通常只授予一名计算机科学家,被誉为“计算机界的诺贝尔奖”。

自1966年至2020年,图灵奖共授予了74位获奖者,主要以美国和欧洲科学家为主。2000年,华人科学家姚期智因其在计算理论、伪随机数生成、密码学及通信复杂度方面的贡献而获得图灵奖,成为首位也是迄今为止唯一一位获此殊荣的华人。

图灵奖一般在每年3月下旬颁发。以下是部分图灵奖得主及其主要成就:

- **1966年**:艾伦·佩利(Alan Perlis),因在高级程序设计技巧和编译器构造方面的贡献。

- **1967年**:莫里斯·威尔克斯(Maurice Wilkes),因开发存储程序式计算机EDSAC和EDSAC 2,以及程序库的贡献。

- **1968年**:理查德·卫斯里·汉明(Richard Hamming),因数值方法、自动编码系统及错误检测和纠错码的研究。

- **1969年**:马文·闵斯基(Marvin Minsky),人工智能领域的先驱。

- **1970年**:詹姆斯·维尔金森(James Wilkinson),在线性代数和数值分析中的倒退错误分析方面的工作。

- **1971年**:约翰·麦卡锡(John McCarthy),人工智能领域的另一位重要贡献者。

- **1972年**:艾兹格·迪科斯彻(Edsger Dijkstra),在程序设计语言的科学与艺术方面的工作。

- **1973年**:查理士·巴赫曼(Charles Bachman),数据库技术的开创者。

- **1974年**:高德纳(Donald Knuth),算法分析、程序设计语言设计及程序设计方面的贡献。

- **1975年**:艾伦·纽厄尔(Allen Newell)和赫伯特·西蒙(Herbert Simon),在人工智能、人类认知心理学和列表处理(list processing)方面的研究。

- **1976年**:迈克尔·拉宾(Michael Rabin)和达纳·斯科特(Dana Scott),非确定性自动机的研究。

- **1977年**:约翰·巴克斯(John Backus),高级编程系统和程序设计语言规范的形式化定义。

- **1978年**:罗伯特·弗洛伊德(Robert Floyd),设计高效可靠软件的方法学。

- **1979年**:肯尼斯·艾佛森(Kenneth Iverson),程序设计语言和数学符号、互动系统设计、APL教学及程序设计语言的理论与实践。

- **1980年**:东尼·霍尔(Tony Hoare),程序设计语言的定义与设计。

- **1981年**:埃德加·科德(Edgar F. Codd),数据库系统,尤其是关系型数据库。

- **1982年**:史提芬·古克(Stephen Cook),计算复杂度理论。

- **1983年**:肯·汤普逊(Ken Thompson)和丹尼斯·里奇(Dennis Ritchie),UNIX操作系统和c语言的开发。

- **1984年**:尼克劳斯·维尔特(Niklaus Wirth),程序设计语言设计和程序设计。

- **1985年**:理查德·卡普(Richard Karp),算法理论,尤其是NP-完全性理论。

- **1986年**:约翰·霍普克洛夫特(John Hopcroft)和罗伯特·塔扬(Robert Tarjan),算法和数据结构的设计与分析。

- **1987年**:约翰·科克(John Cocke),编译理论、大型系统的体系结构及精简指令集(RISC)计算机的开发。

- **1988年**:伊凡·苏泽兰(Ivan Sutherland),计算机图形学的先驱。

- **1989年**:威廉·卡韩(William Kahan),数值分析领域的贡献。

- **1990年**:费尔南多·考巴托(Fernando Corbató),CTSS和Multics系统的设计。

- **1991年**:罗宾·米尔纳(Robin Milner),LCF、ML语言和CCS的研究。

- **1992年**:巴特勒·兰普森(Butler Lampson),分布式和个人计算环境的贡献。

- **1993年**:尤里斯·哈特马尼斯(Juris Hartmanis)和理查德·斯特恩斯(Richard Stearns),计算复杂度理论。

- **1994年**:爱德华·费根鲍姆(Edward Feigenbaum)和拉吉·瑞迪(Raj Reddy),大规模人工智能系统。

- **1995年**:曼纽尔·布卢姆(Manuel Blum),计算复杂度理论及其在密码学和程序校验上的应用。

- **1996年**:阿米尔·伯努利(Amir Pnueli),时序逻辑和程序与系统验证。

- **1997年**:道格拉斯·恩格尔巴特(Douglas Engelbart),互动计算的先驱。

- **1998年**:詹姆斯·尼古拉·格雷(Jim Gray),数据库与事务处理。

- **1999年**:弗雷德里克·布鲁克斯(Frederick Brooks),计算机体系结构、操作系统和软件工程。

- **2000年**:姚期智,计算理论,包括伪随机数生成、密码学与通信复杂度。

- **2001年**:奥利-约翰·达尔(Ole-Johan Dahl)和克利斯登·奈加特(Kristen Nygaard),面向对象编程。

- **2002年**:罗纳德·李维斯特(Ronald Rivest)、阿迪·萨莫尔(Adi Shamir)和伦纳德·阿德曼(Leonard Adleman),公钥密码学(RSA加密算法)。

- **2003年**:艾伦·凯(Alan Kay),面向对象编程。

- **2004年**:文特·瑟夫(Vint Cerf)和罗伯特·卡恩(Robert Kahn),TCP/IP协议的发明。

- **2005年**:彼得·诺尔(Peter Naur),Algol 60语言的贡献。

- **2006年**:法兰西斯·艾伦(Frances Allen),优化编译器。

- **2007年**:爱德蒙·克拉克(Edmund Clarke)、艾伦·爱默生(Allen Emerson)和约瑟夫·斯发基斯(Joseph Sifakis),开发自动化方法检测计算机硬件和软件中的设计错误。

- **2008年**:芭芭拉·利斯科夫(Barbara Liskov),编程语言和系统设计的实践与理论。

- **2009年**:查尔斯·萨克尔(Charles Thacker),帮助设计和制造第一款现代PC。

- **2010年**:莱斯利·瓦伦特(Leslie Valiant),对众多计算理论所做的变革性贡献。

- **2011年**:朱迪亚·珀尔(Judea Pearl),通过概率论和因果推理对人工智能领域作出的根本性贡献。

- **2012年**:莎菲·戈德瓦塞尔(Shafi Goldwasser)和希尔维奥·米卡利(Silvio Micali),在密码科学领域里的复杂理论基础之上做出的变革性工作,并领先发展出新的具有数学可证明性的有效验证机制。

- **2013年**:莱斯利·兰波特(Leslie Lamport),对于分布式及并行系统的理论与实践的基础性贡献,尤其是在因果逻辑时序、安全性与存活度、复制状态机及循序一致性等理论概念的发明。

- **2014年**:迈克尔·斯通布雷克(Michael Stonebraker),对现代数据库的概念和实践作出的根本性贡献。

- **2015年**:惠特菲尔德·迪菲(Whitfield Diffie)和马丁·赫尔曼(Martin Hellman),发明迪菲-赫尔曼密钥交换,对公开密钥加密技术有重大贡献。

- **2016年**:蒂姆·伯纳斯-李(TIM Berners-Lee),发明万维网、第一个浏览器及使得万维网得以扩展的基础协议和算法。

- **2017年**:约翰·轩尼诗(John Hennessy)和大卫·帕特森(David Patterson),开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生持久影响。

- **2018年**:约书亚·本希奥(Yoshua Bengio)、杰弗里·辛顿(Geoffrey Hinton)和杨立昆(Yann LeCun),深度学习领域的贡献。

- **2019年**:艾德文·卡特姆(Edwin Catmull)和帕特里克·汉拉恩(Patrick Hanrahan),3D计算机图形学的基本贡献及这些技术对电影制作和其他应用中计算机生成图像(CGI)的革命性影响。

- **2020年**:阿尔佛雷德·艾侯(Alfred Aho)和杰弗瑞·乌尔曼(Jeffrey Ullman),对程序语言实现的基础性算法和理论的贡献。

图灵奖不仅是对获奖者个人成就的认可,更是对他们在计算机科学领域所做出的巨大贡献的肯定。

历届图灵奖得主?

以下是经过整理和优化后的文本:

艾伦·佩利(Alan J. Perlis)、莫里斯·威尔克斯(Maurice V. Wilkes)、理查德·卫斯里·汉明(Richard Hamming)、马文·明斯基(Marvin Minsky)、詹姆斯·维尔金森(James H. Wilkinson)、约翰·麦卡锡(John McCarthy)以及艾兹格·迪科斯彻(Edsger Dijkstra)是计算机科学领域中极具影响力的人物。

艾伦·佩利以其对编程语言的深刻见解而闻名。他不仅在计算机科学理论方面做出了重要贡献,还通过其著作影响了无数程序员。莫里斯·威尔克斯则是早期计算机设计与实现的先驱之一,他在计算机硬件和软件方面的创新为现代计算机的发展奠定了基础。

理查德·汉明以其在信息论、编码理论及数值方法等领域的开创性工作著称。他的研究成果极大地推动了通信技术和计算技术的进步。马文·明斯基作为人工智能领域的奠基人之一,他对机器学习、认知科学等方面的研究成果至今仍具有深远影响。

詹姆斯·维尔金森在数值分析和线性代数算法方面做出了杰出贡献,特别是在误差分析和稳定性研究方面的工作,使他在科学计算领域享有盛誉。约翰·麦卡锡则被誉为“人工智能之父”,他提出了LISP语言,并为AI概念的确立和发展做出了不可磨灭的贡献。

最后,艾兹格·迪科斯彻以其对结构化编程和分布式系统的研究而广受尊敬。他提出的最短路径算法(Dijkstra算法)至今仍然是计算机网络路由选择的基础之一。

这些科学家们各自在其专业领域内取得了卓越成就,共同塑造了当今计算机科学的面貌。

有关1966-2021图灵奖获得者?_历届图灵奖得主?的内容就介绍到这里了,如果还想更多这方面的信息的小伙伴,记得收藏关注多特软件站!

了解更多消息请关注收藏我们的网站(news.duote.com)。

文章内容来源于网络,不代表本站立场,若侵犯到您的权益,可联系多特删除。(联系邮箱:rjfawu@163.com)

关闭