最近北大图灵奖得主?_1966-2021图灵奖获得者?事件在热度非常高,为大家准备了完整关于北大图灵奖得主?_1966-2021图灵奖获得者?事件的所有相关内容,如果大家想知道更多这方面的情况,请持续关注本站!

约翰·霍普克罗夫特是当今世界顶级的计算机科学家,他领衔建立了图灵班。2017年5月,霍普克罗夫特宣布加入北京大学信息科学技术学院,成为首位入职北大的图灵奖得主。
霍普克罗夫特的加入不仅为北大带来了世界级的学术资源,也进一步提升了该校在计算机科学领域的影响力。作为图灵班的创始人,他致力于培养新一代的计算机科学人才,推动了中国在这一领域的快速发展。
图灵奖(Turing Award),全称A.M.图灵奖(ACM A.M Turing Award),是由美国计算机协会(ACM)于1966年设立的计算机奖项,旨在奖励对计算机事业作出重要贡献的个人。该奖项以艾伦·麦席森·图灵(Alan M. Turing)命名,被誉为“计算机界的诺贝尔奖”。图灵奖对获奖条件要求极高,评奖程序极为严格,通常每年仅授予一名计算机科学家。从1966年至2020年,图灵奖共授予74名获奖者,主要以美国和欧洲科学家为主。2000年,华人科学家姚期智获此殊荣,成为首位也是迄今为止唯一一位获得图灵奖的华人。
### 图灵奖的历史与背景
图灵奖一般在每年3月下旬颁发。自1966年以来,图灵奖见证了计算机科学领域的诸多里程碑。该奖项不仅表彰了计算机科学家们的杰出成就,也推动了计算机技术的发展。图灵奖的获奖者涵盖了多个领域,包括人工智能、数据库系统、编程语言设计、密码学等。
### 图灵奖获得者及其贡献
以下是部分图灵奖获得者的简要介绍:
- **1966年**:艾伦·佩利因高级程序设计技巧和编译器构造获奖。
- **1967年**:莫里斯·威尔克斯因开发存储程序式计算机EDSAC及其后续版本EDSAC 2以及程序库而获奖。
- **1968年**:理查德·卫斯里·汉明因数值方法、自动编码系统和错误检测及纠错码的研究获奖。
- **1969年**:马文·闵斯基因其在人工智能领域的贡献获奖。
- **1970年**:詹姆斯·维尔金森因数值分析、线性代数及倒退错误分析的研究获奖。
- **1971年**:约翰·麦卡锡因在人工智能领域的贡献获奖。
- **1972年**:艾兹格·迪科斯彻因对程序设计语言的科学与艺术的贡献获奖。
- **1973年**:查理士·巴赫曼因数据库技术的研究获奖。
- **1974年**:高德纳因算法分析、程序设计语言设计及程序设计的贡献获奖。
- **1975年**:艾伦·纽厄尔和赫伯特·西蒙因在人工智能、人类认知心理学和列表处理(list processing)方面的贡献共同获奖。
- **1976年**:迈克尔·拉宾和达纳·斯科特因非确定性自动机的研究共同获奖。
- **1977年**:约翰·巴克斯因高级编程系统及程序设计语言规范的形式化定义获奖。
- **1978年**:罗伯特·弗洛伊德因设计高效可靠软件的方法学获奖。
- **1979年**:肯尼斯·艾佛森因程序设计语言和数学符号、互动系统的设计、APL教学及程序设计语言的理论与实践的贡献获奖。
- **1980年**:东尼·霍尔因程序设计语言的定义与设计获奖。
- **1981年**:埃德加·科德因数据库系统,尤其是关系型数据库的贡献获奖。
- **1982年**:史提芬·古克因计算复杂度的研究获奖。
- **1983年**:肯·汤普逊和丹尼斯·里奇因UNIX操作系统和c语言的开发共同获奖。
- **1984年**:尼克劳斯·维尔特因程序设计语言设计和程序设计的贡献获奖。
- **1985年**:理查德·卡普因算法理论,尤其是NP-完全性理论的研究获奖。
- **1986年**:约翰·霍普克洛夫特和罗伯特·塔扬因算法和数据结构的设计与分析共同获奖。
- **1987年**:约翰·科克因编译理论、大型系统的体系结构及精简指令集(RISC)计算机的开发获奖。
- **1988年**:伊凡·苏泽兰因计算机图形学的贡献获奖。
- **1989年**:威廉·卡韩因数值分析的研究获奖。
- **1990年**:费尔南多·考巴托因CTSS和Multics的贡献获奖。
- **1991年**:罗宾·米尔纳因LCF、ML语言和CCS的研究获奖。
- **1992年**:巴特勒·兰普森因分布式和个人计算环境的贡献获奖。
- **1993年**:尤里斯·哈特马尼斯和理查德·斯特恩斯因计算复杂度理论的研究共同获奖。
- **1994年**:爱德华·费根鲍姆和拉吉·瑞迪因大规模人工智能系统的研究共同获奖。
- **1995年**:曼纽尔·布卢姆因计算复杂度理论及其在密码学和程序校验上的应用获奖。
- **1996年**:阿米尔·伯努利因时序逻辑和程序与系统验证的贡献获奖。
- **1997年**:道格拉斯·恩格尔巴特因互动计算的贡献获奖。
- **1998年**:詹姆斯·尼古拉·格雷因数据库与事务处理的贡献获奖。
- **1999年**:弗雷德里克·布鲁克斯因计算机体系结构、操作系统和软件工程的贡献获奖。
- **2000年**:姚期智因计算理论,包括伪随机数生成、密码学与通信复杂度的贡献获奖。
- **2001年**:奥利-约翰·达尔和克利斯登·奈加特因面向对象编程的贡献共同获奖。
- **2002年**:罗纳德·李维斯特、阿迪·萨莫尔和伦纳德·阿德曼因公钥密码学(RSA加密算法)的发明共同获奖。
- **2003年**:艾伦·凯因面向对象编程的贡献获奖。
- **2004年**:文特·瑟夫和罗伯特·卡恩因TCP/IP协议的发明共同获奖。
- **2005年**:彼得·诺尔因Algol 60语言的贡献获奖。
- **2006年**:法兰西斯·艾伦因优化编译器的贡献获奖。
- **2007年**:爱德蒙·克拉克、艾伦·爱默生和约瑟夫·斯发基斯因开发自动化方法检测计算机硬件和软件中的设计错误的贡献共同获奖。
- **2008年**:芭芭拉·利斯科夫因编程语言和系统设计的实践与理论的贡献获奖。
- **2009年**:查尔斯·萨克尔因帮助设计、制造第一款现代PC的贡献获奖。
- **2010年**:莱斯利·瓦伦特因对众多计算理论所做的变革性贡献获奖。
- **2011年**:朱迪亚·珀尔因通过概率论和因果推理对人工智能领域作出的根本性贡献获奖。
- **2012年**:莎菲·戈德瓦塞尔和希尔维奥·米卡利因在密码科学领域里,于复杂理论的基础之上,做出变革性工作,并领先发展出新的具有数学可证明性的有效验证机制共同获奖。
- **2013年**:莱斯利·兰波特因对分布式及并行系统的理论与实践的贡献,尤其是因果逻辑时序、安全性与存活度、复制状态机及循序一致性等理论概念的发明获奖。
- **2014年**:迈克尔·斯通布雷克因对现代数据库的概念和实践作出的根本性贡献获奖。
- **2015年**:惠特菲尔德·迪菲和马丁·赫尔曼因发明迪菲-赫尔曼密钥交换,对公开密钥加密技术的重大贡献共同获奖。
- **2016年**:蒂姆·伯纳斯-李因发明万维网、第一个浏览器以及使得万维网得以扩展的基础协议及算法获奖。
- **2017年**:约翰·轩尼诗和大卫·帕特森因开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生持久影响共同获奖。
- **2018年**:约书亚·本希奥、杰弗里·辛顿和杨立昆因深度学习的贡献共同获奖。
- **2019年**:艾德文·卡特姆和帕特里克·汉拉恩因对3D计算机图形学的基本贡献,以及这些技术对电影制作和其他应用中的计算机生成图像(CGI)的革命性影响共同获奖。
- **2020年**:阿尔佛雷德·艾侯和杰弗瑞·乌尔曼因对程序语言实现的基础性算法和理论的贡献共同获奖。
### 结语
图灵奖不仅是对个人成就的认可,更是对整个计算机科学领域发展的推动。每一位获奖者都在各自的研究领域中做出了不可磨灭的贡献,他们的工作不仅改变了计算机科学的面貌,也深刻影响了现代社会的方方面面。
以上就是多特软件站小编给大家带来的北大图灵奖得主?_1966-2021图灵奖获得者?全部内容了,希望对小伙伴们有所帮助。
了解更多消息请关注收藏我们的网站(news.duote.com)。
文章内容来源于网络,不代表本站立场,若侵犯到您的权益,可联系多特删除。(联系邮箱:[email protected])
近期热点
最新资讯