2011年(38)
分类: LINUX
2011-05-12 19:13:04
原文出自:
推荐读物
1.
2. ACM图灵奖(1966-2006)第三版-计算机发展史的缩影. 高等教育出版社, 2008年
3. IEEE计算机先驱奖(1980-2006)第二版-计算机科学与技术中的发明史. 高等教育出版社, 2008年
附:55位图灵奖获得者全家福
图灵奖 (Turing Award),是美国计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项,有“计算机界**奖”之称。图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
年份 | 中文译名 | 姓名 | 贡献领域 |
---|---|---|---|
高级 技巧, 构造 | |||
存储程序式计算机 , 程序 | |||
数值方法,自动编码系统,错误检测和纠错码 | |||
数值分析,线性代数,“倒退”错误分析 | |||
人工智能 | |||
的科学与艺术 | |||
数据库技术 | |||
算法分析、程序设计语言的设计、程序设计 | |||
| | 人工智能,人类认知心理学和列表处理 (list processing) | |
| | 非确定性自动机 | |
高级编程系统,程序设计语言规范的形式化定义 | |||
设计高效可靠软件的方法学 | |||
程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践 | |||
程序设计语言的定义与设计 | |||
数据库系统,尤其是 | |||
计算复杂度 | |||
| | 操作系统和 | |
程序设计语言设计、程序设计 | |||
算法理论,尤其是 理论 | |||
| | 算法和数据结构的设计与分析 | |
编译理论,大型系统的体系结构,及精简指令集( )计算机的开发 | |||
和 | |||
, , | |||
分布式,个人计算环境 | |||
| | 计算复杂度理论 | |
| | 大规模人工智能系统 | |
计算复杂度理论,及其在 和程序校验上的应用 | |||
,程序与系统 | |||
互动计算 | |||
数据库与事务处理 | |||
, , | |||
计算理论,包括 ,密码学与通信复杂度 | |||
| | ||
| | ( ) | |
| | 协议 | |
语言 | |||
优化编译器 | |||
| | 开发自动化方法检测计算机硬件和软件中的设计错误 | |
编程语言和系统设计的实践与理论 |