【计算机诺贝尔奖】图灵奖获得者名单 历届图灵奖得主盘点

本文章由注册用户 皮丘看热点 上传提供 ★★ 评论 发布 纠错/删除 版权声明 0
有“计算机界的诺贝尔奖”之称的图灵奖,是计算机领域最负盛名、最崇高的一个奖项,奖励对计算机事业作出重要贡献的个人。2000年图灵奖得主姚期智是目前唯一获得图灵奖的华人学者,本篇文章,maigoo小编为您整理了一份图灵奖获得者名单,下面一起来看历届图灵奖得主盘点。
图灵奖是什么
美食

“A.M. 图灵奖(A.M Turing Award)”简称图灵奖(Turing Award),名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵(Alan M. Turing),是计算机领域最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

图灵奖由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机事业作出重要贡献的个人,通常情况下,图灵奖都会在下一年的3月下旬颁发。图灵奖对获奖条件要求高,评奖程序严,通常每年只奖励一名计算机科学家,极少数情况下,会有多名合作者或在同一方向作出贡献的科学家共享此奖。

图灵奖华人获得者
美食

截至2021年,图灵奖华人获得者只有一位——2000年图灵奖得主姚期智。姚期智,1946年出生于上海(2017年放弃美国国籍成为中国公民),中国科-🔥奥门威奥门威斯人网站注册平台院士、香港科-🔥奥门威奥门威斯人网站注册平台创院院士、美国国家科-🔥奥门威奥门威斯人网站注册平台院士、美国艺术与科学-🔥奥门威奥门威斯人网站注册平台院士,其研究方向包括计算理论及其在密码学和量子计算中的应用,姚期智最先提出量子通信复杂性,提出分布式量子计算模式,后来成为分布式量子算法和量子通讯协议安全性的基础。

图灵奖获得者名单
年份 姓名 贡献领域/获奖理由
1966年 艾伦·佩利(Alan J. Perlis) 高级程序设计技巧,编译器构造
1967年 莫里斯·威尔克斯(Maurice V. Wilkes) 存储程序式计算机EDSAC,程序库
1968年 理查德·卫斯里·汉明(Richard Hamming) 数值方法,自动编码系统,错误检测和纠错码
1969年 马文·明斯基(Marvin Minsky) 人工智能
1970年 詹姆斯·维尔金森(James H. Wilkinson) 数值分析,线性代数,倒退错误分析
1971年 约翰·麦卡锡(John McCarthy) 人工智能
1972年 艾兹格·迪科斯彻(Edsger Dijkstra) 程序设计语言的科学与艺术
1973年 查理士·巴赫曼(Charles W. Bachman) 数据库技术
1974年 高德纳(Donald E. Knuth) 算法分析、程序设计语言的设计、程序设计
1975年 艾伦·纽厄尔(Allen Newell),赫伯特·西蒙(Herbert A. Simon) 人工智能,人类认知心理学和列表处理 (list processing)
1976年 迈克尔·拉宾(Michael O. Rabin),达纳·斯科特(Dana S. Scott) 非确定性自动机
1977年 约翰·巴克斯(John Backus) 高级编程系统,程序设计语言规范的形式化定义
1978年 罗伯特·弗洛伊德(Robert W. Floyd) 设计高效可靠软件的方法学
1979年 肯尼斯·艾佛森(Kenneth E. Iverson) 程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践
1980年 东尼·霍尔(C. Antony R. Hoare) 程序设计语言的定义与设计
1981年 埃德加·科德(Edgar F. Codd) 数据库系统,尤其是关系型数据库
1982年 史提芬·古克(Stephen A. Cook) 计算复杂度
1983年 肯·汤普逊(Ken Thompson),丹尼斯·里奇(Dennis M. Ritchie) UNⅨ操作系统和C语言
1984年 尼古拉斯·沃斯(Niklaus Wirth) 程序设计语言设计、程序设计
1985年 理查德·卡普(Richard M. Karp) 算法理论,尤其是NP-完全性理论
1986年 约翰·霍普克罗夫特(John Hopcroft),罗伯特·塔扬(Robert Tarjan) 算法和数据结构的设计与分析
1987年 约翰·科克(John Cocke) 编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
1988年 伊凡·苏泽兰(Ivan Sutherland) 计算机图形学
1989年 威廉·卡亨(William Morton Kahan) 数值分析
1990年 费尔南多·考巴脱(Fernando J. Corbató) CTSS和Multics
1991年 罗宾·米尔纳(Robin Milner) LCF,ML语言,CCS
1992年 巴特勒·兰普森(Butler W. Lampson) 分布式,个人计算环境
1993年 尤里斯·哈特马尼斯(Juris Hartmanis),理查德·斯特恩斯(Richard E. Stearns) 计算复杂度理论
1994年 爱德华·费根鲍姆(Edward Feigenbaum),拉吉·瑞迪(Raj Reddy) 大规模人工智能系统
1995年 曼纽尔·布卢姆(Manuel Blum) 计算复杂度理论,及其在密码学和程序校验上的应用
1996年 阿米尔·伯努利(Amir Pnueli) 时序逻辑,程序与系统验证
1997年 道格拉斯·恩格尔巴特(Douglas Engelbart) 互动计算
1998年 詹姆斯·尼古拉·格雷(James Gray) 数据库与事务处理
1999年 弗雷德里克·布鲁克斯(Frederick P. Brooks,Jr.) 计算机体系结构,操作系统,软件工程
2000年 姚期智(Andrew Chi-Chih Yao) 计算理论,包括伪随机数生成,密码学与通信复杂度
2001年 奥利-约翰·达尔(Ole-Johan Dahl),克利斯登·奈加特(Kristen Nygaard) 面向对象编程
2002年 罗纳德·李维斯特(Ronald L. Rivest),阿迪·萨莫尔(Adi Shamir),伦纳德·阿德曼(Leonard M. Adleman) 公钥密码学(RSA加密算法)
2003年 艾伦·凯(Alan Kay) 面向对象编程
2004年 文特·瑟夫(Vinton G. Cerf),罗伯特·卡恩(Robert E. Kahn) TCP/IP协议
2005年 彼得·诺尔(Peter Naur) Algol 60语言
2006年 法兰西斯·艾伦(Frances E. Allen) 优化编译器
2007年 爱德蒙·克拉克(Edmund M. 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) 开发了RISC微处理器并且让这一概念流行起来
2018年 约舒亚·本希奥(Yoshua Bengio),杰弗里·欣顿(Geoffrey Hinton),扬·莱坎(Yann LeCun) 人工智能深度学习方面
2019年 Patrick M. Hanrahan,艾德文·卡特姆(Edwin E. Catmull) 对3D计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响
2020年 杰弗里·戴维·乌尔曼(Jeffrey David Ullman)、阿尔弗雷德·艾侯(Alfred Vaino Aho) 创造了全球数百万编程人员使用的工具和教材,推进编程语言实现的基础算法和理论,并在极具影响力的书籍中综述了这些研究成果
2021年 杰克·唐加拉(Jack J. Dongarra) 通过对线性代数运算的高效数值算法、并行计算编程机制和性能评估工具的贡献,引领了高性能计算的世界
2022年 鲍勃·梅特卡夫(Bob Metcalfe) 为引领大众进入超级连接时代所做的贡献
2023年 艾维·维格森(Avi Wigderson) 增强了人类对计算中随机性和伪随机性作用的理解
推荐阅读
网站提醒和声明
本站为注册用户提供信息存储空间服务,非“MAIGOO编辑”、“MAIGOO榜单研究员”、“MAIGOO文章编辑员”上传提供的文章/文字均是注册用户自主发布上传,不代表本站观点,版权归原作者所有,如有侵权、虚假信息、错误信息或任何问题,请及时联系我们,我们将在第一时间删除或更正。 申请删除>> 纠错>> 投诉侵权>> 网页上相关信息的知识产权归网站方所有(包括但不限于文字、图片、图表、著作权、商标权、为用户提供的商业信息等),非经许可不得抄袭或使用。
提交说明: 快速提交发布>> 提交资讯帮助>> 注册登录>>
相关推荐
量子计算是什么意思 量子计算对人类有何意义
从量子计算的诞生到如今的发展,热度依然不减,甚至有持续上升的态势。量子计算的意思说通俗一点,就是利用量子力学原理进行计算的技术。量子计算已经成为了各大互联网企业疯狂研究、竞争的领域,可以说谁掌握了量子计算的超前技术,谁就在未来的科技领域拥有了绝对的话语权。下面就来一起了解下量子计算对人类有何意义。
计算机 电脑
1435 5
2024中国高性能计算机TOP100榜单发布 2024年中国HPC TOP100完整榜单一览
在第六届中国超级算力大会(ChinaSC 2024)上,中国计算机学会高性能计算专业委员会等机构共同发布了2024中国高性能计算机(HPC)性能TOP100榜单。2024中国HPC TOP100榜单的榜首机器与2023年相比没有变化,这台由某服务器供应商研制、部署于某超算中心的主机系统以487.94PFLOPS(约48.79亿亿次每秒)的测试性能蝉联第一,下面跟随小编一起看看榜单详情吧。
it工程师是做什么的 网站IT工程师岗位职责要求
IT工程师是从事IT相关工作的人员的统称。它是一个广义的概念,包括IT设计人员、IT架构人员、IT工程管理人员、程序员等一系列岗位,工作内容都与软件开发生产相关。那么it工程师是做什么的?下面看一下网站IT工程师岗位职责要求吧。
电脑内存常见故障分析 计算机内存故障维修大全
内存故障是电脑硬件的常见故障,一般情况下内存出现故障会发生如下问题:开机无显示、随机性死机、windows经常自动进入安全模式、内存加大后系统资源反而降低等。原因主要有内存与主板兼容性不好、主板的内存插槽质量低劣、内存某芯片故障等。接下来就一起了解一下详细知识吧。
内存条 电脑
2385 65
硬盘录像机怎么用 硬盘录像机功能及故障处理
硬盘录像机是一套进行图像存储处理的计算机系统,具有对图像/语音进行长时间录像、录音、远程监视和控制的功能。硬盘录像机的功能有很多,比如监视功能、录像功能、回放功能、报警功能、控制功能等等,可是这些功能要怎么用呢?下面就来总结分析一下硬盘录像机的常见问题。
硬盘 计算机
3467 148
XML 地图