美国著名计算机专家、C语言发明人之一丹尼斯·里奇
北京时间10月13日消息，维基百科资料显示，美国著名计算机专家、C语言发明人之一丹尼斯·里奇(Dennis Ritchie )已于10月9日去世，享年70岁。
里奇生于1941年9月9日。他发明了包括C语言在内的多种编程语言，并研发了Multics和Unix等操作系统。1983年，里奇获得图灵奖。
图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
概况 奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列,中国（姚期智）等国少数学者。
截止至2009年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
历年图灵奖获得者年份名称获奖原因
2010 莱斯利·瓦伦特（Leslie Valiant） 过去30年来，莱斯利·瓦伦特为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。
他在计算科学和数学领域 的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker 对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献
2008 Barbara Liskov 在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软 件更加可靠、安全和更具一致性。
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 对于优化 编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur 由于在设计Algol60 程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型。
2004 由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2003 Alan Kay 由于在 面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。
至理名言
预测未来的最好方法是创造它。
2002 由于在公共密钥理论和实践方面的基础性工作。
2001 Ole-Johan Dahl、Kristen Nygaard 由于 面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。
2000 Andrew Chi-Chih Yao（姚期智） 由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。
1999 Frederick P. Brooks, Jr. 由于对计算机体系架构、 操作系统以及软件工程方面做出了具有里程碑式意义的贡献。
1998 James Gray 由于在数据库、事务处理研究和相关系统实现的技术领导工作。
1997 Douglas Engelbart 由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。
1996 Amir Pnueli 由于在计算科学中引入temporal逻辑以及对编程和 系统认证方面的杰出贡献。
1995 Manuel Blum
1994 Edward Feigenbaum、Raj Reddy 由于他们所设计和建造的大规模人工智能系统，证明了 人工智能技术的重要性和其潜在的商业价值。
1993 Juris Hartmanis、Richard E. Stearns 由于他们的论文奠定了计算复杂性理论的基础。
1992 Butler W. Lampson 由于在个人分布式 计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。
1991 Robin Milner 在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
1990 Fernando J. Corbato' 由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。
1989 William (Velvel) Kahan
1988 Ivan Sutherland 由于在 计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。
1987 John Cocke 由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。
1986 John Hopcroft、Robert Tarjan 由于在算法及数据结构设计和分析方面的基础性成就。
1985 Richard M. Karp 由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。
1984 Niklaus Wirth 开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。
1983
1982 Stephen A. Cook 由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。
1981 Edgar F. Codd 由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。
1980 C. Antony R. Hoare 由于在编程语言的定义和设计方面的基础性贡献。
1979 Kenneth E. Iverson 由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。
1978 Robert W. Floyd 由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项
计算机子学科。
1977 John Backus 由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。
1976 Michael O. Rabin、Dana S. Scott 由于他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。
1975 Allen Newell、Herbert A. Simon 由于在人工智能、人类识别心理和表处理的基础贡献。
1974
1973 Charles W. Bachman 由于在数据库方面的杰出贡献。
1972 E.W. Dijkstra 由于对开发ALGOL做出了原理性贡献。
1971 John McCarthy 由于其讲稿"The Present State of Research on Artificial
Intellegence"，对人工智能领域的贡献。
1970 J.H. Wilkinson 由于其在数值分析方面的研究工作。
1969 Marvin Minsky 人工智能理论及软件
1968 Richard Hamming 由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1967 Maurice V. Wilkes 由于设计和制造了第一台内部存储程序的计算机EDSAC。
1966 A.J. Perlis 由于其在先进编程技术和编译架构方面的贡献。
| 
粤公网安备 44522102000125 增值电信业务经营许可证 粤B2-20192173
发表于 2011-10-13 15:18:38
主题置顶卡
沉默卡
变色卡
扫一扫，关注易界动态