拓展知识:图灵奖简介
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
历届图灵奖得主
年份
中文译名
1982年 1983年
史提芬·古克
肯·汤普逊 丹尼斯·里奇
姓名
Stephen A. Cook Ken Thompson Dennis M. Ritchie
1984年 尼古拉斯·沃斯
Niklaus Wirth
1985年 理查德·卡普
1986年
约翰·霍普克罗夫 特
罗伯特·塔扬
何谓图灵奖
奖金金额不算太高,最初为2万美元,1989年起增到2万5千 美元,奖金通常由计算机界的一些大企业提供(通过与ACM签 订协议)。之后,图灵奖由英特尔公司和Google公司赞助,奖 金提升为25万美元;而今,Google 投下巨款奖金直接提升到 100 万美元,希望能激励年轻的科学家投身于计算机的研究。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选 人,并附加一份200到500字的文章,说明被提名者为什么应获 此奖,任何人都可成为提名人。美国计算机协会将组成评选委员 会对被提名者进行严格的评审,并最终确定当年的获奖者。
算法和数据结构的设计与分析 编译理论,大型系统的体系结构,及 精简指令集(RISC)计算机的开发 计算机图形学 数值分析
历届图灵奖得主
年份
中文译名
姓名
贡献领域
1990年 费尔南多·考巴托
Fernando J. Corbató CTSS和Multics
姓名
Donald E. Knuth Allen Newell Herbert A. Simon Michael O. Rabin Dana S. Scott John Backus Robert W. Floyd
Kenneth E. Iverson
C. Antony R. Hoare
贡献领域
算法分析、程序设计语言的设计、程 序设计
1967年获台湾大学物理学士学位,1972年获美国哈佛大学物 理 博士学位,1975年获美国伊利诺依大学计算机科学博士学位。 1975年至1986年曾先后在美国麻省理工学院数学系、斯坦福大 学计算机系、加利福尼亚大学伯克利分校计算机系任助理教授、 教 授 。1986年 至2004年在 普 林斯顿 大学 计 算机科学系 担任 Wiliam and Edna Macaleer工程与应用科学教授。
图灵奖的发展历程
从1966年到2014年的47届图灵奖,共计有62名科学家获此 殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列 等国少数学者。 截止至2014年,获此 殊荣的华人仅有一位, 他是2000年图灵奖得主 姚期智。 2004年起在清华大学 任全职教授。
姚期智(Andrew Chi-Chih Yao),世界著名计 算机学家,2000年图灵奖得主,美国科学院院士,美 国科学与艺术学院院士,中国科学院外籍院士,清 华大学高等研究中心教授。
图灵奖
主要内容
何谓图灵奖 图灵奖的发展历程 历届图灵奖得主
何谓图灵奖
图灵奖(A.M. Turing Award,又译“杜林奖”),由美国 计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”, 专门奖励对计算机事业作出重要贡献的个人。 其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。 由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年 只奖励一名计算机科学家,只有极少数年度有两名合作者或在同 一方向作出贡献的科学家共享此奖。 因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机 界的诺贝尔奖”之称。
1969年 马文·闵斯基
Marvin Minsky
人工智能
1970年 詹姆斯·维尔金森 James H. Wilkinson 数值分析,线性代数,倒退错误分析
1971年 约翰·麦卡锡
JohBiblioteka Baidu McCarthy
人工智能
1972年 艾兹格·迪科斯彻 Edsger Dijkstra
程序设计语言的科学与艺术
姚期智(Prof. Yao Qizhi,Tsinghua University),祖籍 湖北省孝感市孝昌县,1946年12月生于上海,著名物理学家, 计算机学家。 1967年获得台湾大学物理学士学位,1972年获得美国哈佛 大学物理博士学位,1975年获得美国伊利诺依大学计算机科 学博士学位。 1975年至1986年先后在美国麻省理工学院数学系、斯坦福 大 学计算机系、加利福尼亚大学伯克利分校计算机系,普林斯 顿 大学等著名学府担任教授;1998年被选为美国科学院院士, 2000年被选为美国科学与艺术学院院士。 2004年当选为中国科学院外籍院士。
人工智能,人类认知心理学和列表 处 理 (list processing)
非确定性自动机
高级编程系统,程序设计语言规范 的 形式化定义
设计高效可靠软件的方法学
程序设计语言和数学符号,互动系统 的设计,运用 APL进行教学,程序设 计语言的理论与实践
程序设计语言的定义与设计
Edgar F. Codd
数据库系统,尤其是关系型数据库
1987年 约翰·科克
Richard M. Karp John Hopcroft Robert Tarjan
John Cocke
1988年 伊凡·苏泽兰 1989年 威廉·卡亨
Ivan Sutherland
William Morton Kahan
贡献领域
计算复杂度 UNⅨ操作系统和C语言
程序设计语言设计、程序设计 算法理论,尤其是NP-完全性理论
历届图灵奖得主
年份
中文译名
姓名
贡献领域
1966年 艾伦·佩利
Alan J. Perlis
高级程序设计技巧,编译器构造
1967年 莫里斯·威尔克斯 Maurice V. Wilkes 存储程序式计算机EDSAC,程序库
1968年 理查德·卫斯里·汉明 Richard Hamming
数值方法,自动编码系统,错误检测和 纠错码
1973年 查理士·巴赫曼
Charles W. Bachman 数据库技术
历届图灵奖得主
年份
中文译名
1974年 高德纳
艾伦·纽厄尔 1975年 赫伯特·西蒙
1976年 1977年
迈克尔·拉宾 达纳·斯科特
约翰·巴克斯
1978年 罗伯特·弗洛伊德
1979年 肯尼斯·艾佛森
1980年 东尼·霍尔 1981年 埃德加·科德