`
javasalatu
  • 浏览: 723491 次
  • 性别: Icon_minigender_2
  • 来自: 北京
博客专栏
96df99eb-e89d-3228-9c8e-967fc745ec52
程序员的自我经营之道
浏览量:7701
文章分类
社区版块
存档分类
最新评论

1966-2008 ACM图灵奖得主

 
阅读更多

原文出自:http://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96

推荐读物

1. ACM图灵奖官方网站

2. ACM图灵奖(1966-2006)第三版-计算机发展史的缩影. 高等教育出版社, 2008年

3. IEEE计算机先驱奖(1980-2006)第二版-计算机科学与技术中的发明史. 高等教育出版社, 2008年

附:55位图灵奖获得者全家福

图灵奖 (Turing Award),是美国计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。

1966-2008 历届图灵奖获得者

年份 中文译名 姓名 贡献领域
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
UNIX 操作系统和C语言
1984年 尼古拉斯·沃斯 Niklaus Wirth 程序设计语言设计、程序设计
1985年 理查德·卡普 Richard M. Karp 算法理论,尤其是NP-完全性 理论
1986年 约翰·霍普克罗夫特
罗伯特·塔扬
John Hopcroft
Robert Tarjan
算法和数据结构的设计与分析
1987年 约翰·科克 John Cocke 编译理论,大型系统的体系结构,及精简指令集(RISC )计算机的开发
1988年 伊凡·苏泽兰 Ivan Sutherland 计算机图形学
1989年 威廉·卡亨 William (Velvel) Kahan 数值分析
1990年 费尔南多·考巴托 Fernando J. Corbató CTSSMultics
1991年 罗宾·米尔纳 Robin Milner LCFML语言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年 [1] 爱德蒙·克拉克
艾伦·爱默生
约瑟夫·斯发基斯
Edmund M. Clarke
Allen Emerson
Joseph Sifakis
开发自动化方法检测计算机硬件和软件中的设计错误
2008年 芭芭拉·利斯科夫 Barbara Liskov 编程语言和系统设计的实践与理论
分享到:
评论

相关推荐

    图灵奖获得者获奖演讲稿.part4

    图灵奖是计算机界的最高奖项,由ACM发起,本资料收录了66-94年图灵奖获得者在ACM大会上的讲话。(共四个分卷)

    ACM图灵奖.zip

    20世纪ACM图灵奖获得者简介

    图灵奖获得者获奖演讲稿.part1

    图灵奖是计算机界的最高奖项,由ACM发起,本资料收录了66-94年图灵奖获得者在ACM大会上的讲话。(共四个分卷)

    图灵奖获得者获奖演讲稿.part2

    图灵奖是计算机界的最高奖项,由ACM发起,本资料收录了66-94年图灵奖获得者在ACM大会上的讲话。(共四个分卷)

    图灵奖获得者获奖演讲稿.part3

    图灵奖是计算机界的最高奖项,由ACM发起,本资料收录了66-94年图灵奖获得者在ACM大会上的讲话。(共四个分卷)

    算法设计与分析基础.第二版

    该书写于1976年,作者Hopcroft是 1986年ACM图灵奖得主,这三个人写过很多书,大多数都是经典,于一般的算法书不同,该书侧重于证明算法的正确性和复杂性,而不是怎样实现和应用算法,叙述上更加形式化,属于定义-...

    算法设计与分析基础第二版

    该书写于1976年,作者Hopcroft是 1986年ACM图灵奖得主,这三个人写过很多书,大多数都是经典,于一般的算法书不同,该书侧重于证明算法的正确性和复杂性,而不是怎样实现和应用算法,叙述上更加形式化,属于定义-...

    09年07月ACM通讯

    核心内容介绍:08年图灵奖获得者Barbara Liskov专访 Barbara Liskov, a professor at the Massachusetts Institute of Technology (MIT) and winner of the 2008 ACM A.M. Turing Award, has worked throughout her ...

    fundation of data science

    《数据科学基础》作者:ACM Fellow Avrim Blum, 图灵奖得主John Hopcroft,以及微软首席科学家Ravindran Kannan。

    计算机程序设计艺术(第二卷)A

    克努特,中文名高德纳)是斯坦福大学计算机程序设计艺术的荣誉退休教授,Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学...

    口令文件泄露检测技术.pdf

    Honeywords 技术是检测口令文件泄露的一种十分有前景的技术,由图灵奖得主 Rivest 和 Juels在ACM CCS’13 上首次提出。本研究发现,他们给出的4个主要 honeywords 生成方法均存在严重安全缺陷,且此类启发式方法无法...

    南京大学计算机研究生复试题

    Turing Award的获得者的名字以及他们所作出的贡献,3-4个即可(几乎每年必考) 图论,群等比较重要 面向对象的相关概念也是 操作系统中的死琐,信号量等等 数据结构的树,散列等等 再准备点例如什么是光电效应、请用一阶...

    计算机程序设计艺术(第二卷清晰版).part2.rar (共4卷)

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第二卷清晰版).part3.rar

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第一卷清晰版).part1.rar (共4卷)

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第二卷清晰版).part1.rar

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第一卷清晰版).part4.rar (共4卷)

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第一卷清晰版).part2.rar (共4卷)

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第一卷清晰版).part3.rar (共4卷)

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

    计算机程序设计艺术(第二卷清晰版).part4.rar 共4卷

    Knuth教授获得了许多奖项和荣誉,包括美国计算机协会图灵奖(ACM Turing Award),美国前总统卡特授予的科学金奖(Medal of Science),美国数学学会斯蒂尔奖(AMS Steele Prize),以及由于发明先进技术而于1996年...

Global site tag (gtag.js) - Google Analytics