鱼C论坛

 找回密码
 立即注册
查看: 4743|回复: 1

[小天才资讯] 图灵奖 ACM Turing Award

[复制链接]
发表于 2017-1-29 10:14:00 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能^_^

您需要 登录 才可以下载或查看,没有账号?立即注册

x
本帖最后由 不二如是 于 2018-4-22 14:47 编辑

Snip20170129_160.png


图灵奖(英语:ACM A.M. Turing Award),又译杜林奖、A.M.图灵奖。

ACM(美国计算机协会)于1966年设立的奖项,专门奖励对计算机事业作出重要贡献的个人。

其名称取自世界计算机科学的先驱、英国科学家、英国曼彻斯特大学教授艾伦·图灵(A.M. Turing)。

这个奖设立目的之一是纪念这位现代计算机科学的奠基者。

获奖者必须是在计算机领域具有:

持久而重大的先进性的技术贡献。


大多数获奖者是计算机科学家。

是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。

图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家。

极少数年度有两名科学家在同一方向上获奖。

只有2007年,有三名科学家同时获奖。



2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。

2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人。

并附加一份200到500字的文章,说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。

年份 姓名 贡献领域
1966 艾伦·佩利 高级程序设计技巧,编译器构造
1967 莫里斯·威尔克斯 存储过程式计算机EDSAC,EDSAC 2,程序库
1968 理查德·卫斯里·汉明 数值方法,自动编码系统,错误检测和纠错码
1969 马文·明斯基 人工智能
1970 詹姆斯·维尔金森 数值分析,线性代数,倒退错误分析
1971 约翰·麦卡锡 人工智能
1972 艾兹格·迪科斯彻 程序设计语言的科学与艺术
1973 查尔斯·巴赫曼 数据库技术
1974 唐纳德·克努特算法分析、程序设计语言的设计、程序设计
1975 艾伦·纽厄尔赫伯特·西蒙 人工智能,人类认知心理学和列表处理
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约翰·轩尼诗、大卫·帕特森开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生了持久的影响。
想知道小甲鱼最近在做啥?请访问 -> ilovefishc.com
回复

使用道具 举报

发表于 2017-6-9 09:21:33 From FishC Mobile | 显示全部楼层
有机会的话,我要用这碗接水喝
想知道小甲鱼最近在做啥?请访问 -> ilovefishc.com
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

小黑屋|手机版|Archiver|鱼C工作室 ( 粤ICP备18085999号-1 | 粤公网安备 44051102000585号)

GMT+8, 2024-3-28 19:02

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表