从图灵奖获得者贡献看计算机科学发展.doc

从图灵奖获得者贡献看计算机发展——黃蕾图灵奖,由美国计算机协会（ACM）于1966年设立，专门奖励那些对计算 机事业作出重要贡献的个人，有“计算机界的诺贝尔奖”之称从获奖者的贡献 我们可以看到计算机65年发展历史的缩影一・计算机编程、软件开发持续发展1）计算机编程理论逐渐形成完善1996Amir Pnueli由于在计算科学中引入temporal逻辑以 及对编程和系统认证方而的杰出贡献1978Robert W. Fl oyd由于在如何开发高效、可靠的软件方法论 方面的贡献，这包扌G建立分析理论、编 程语言的语义学、自动程序检验、自动程 序综合和算法分析在内的多项 计算机子学科1979Kenneth E. Iverson由于在编程语言的理论和实践方面，特别 是APL,所进行的开创性的工作2）编程语言的发展1980C. Antony R.Hoare由于在编程语言的定义和设计方面的基 础性贡献1977John Backus由于在高级语言方面所做出的具有广泛 和深远意义的贡献，特别是其在Fortran 语言方面1984Niklaus Wirt h开发了 EULER、ALGOL-W、M0DULA 和 PA SCAL…系列崭新的计算语言。

2005Peter Naur由于在设计Algol60程序设计语言上的贡 献Algol60语言定义清晰，是许多现代 程序设计语言的原型2008Barbars Liskov在计算机程序语言设计方面的开创性工 作她的贡献是让计算机软件更加可靠安 全和更加一•致3）计算机语言转化——编译器1966A. J. Perlis由于其在先进编程技术和编译架构方面 的贡献1987John Cocke由于在编译器设计和理论、大规模系统架 构以及开发RISC等方面的重要贡献2006Frances E. A对于优化编译器技术的理论和实践做岀lien的先驱性贡献，这些技术为现代优化编译 器和自动并行执行打下了基础4）面向对象编程2001Ole-Johan Da hl、 Kristen N ygaard由于而向对象编程始发于他们基础性的构 想，这些构想集中体现在他们所设计的编 程语言 SIMULA I 和 SIMULA 67 中2003Alan Kay由于在血向对象语冷方血原创性思想，领 导T Smalltalk的开发团队，以及对PC 的基础性贡献至理名言预测未来的最好方法是创造它二.计算机硬件发展Maurice V. W 由于设计和制造了第一台内部存储程序ilkes 的计算机EDS AC o2007Edmund M. Cl arke^ Allen E merson 和 Jose ph Sifakis在将模型检査发展为被硬件和软件业中所 广泛采纳的高效验证技术上的贡献。

而DD J则将三人的贡献称为“在发现计算机破件 和软件中设计错误的自动化方法方面的工 作” o三.计算机算法、理论1）数学计数1968Richard Hamm ing由于其在计数方法、自动编码系统、检测 及纠正错码方面的工作1989William (Vel vel) Kahan由于在数值分析方面的基础性贡献2002Ronald L. Ri vest> Adi Sha mir> Leonard Me Adieman由于在公共密钥理论和实践方面的基础 性工作2）计算机算法1974Donald E. Kn uth由于在算法分析和程序语言设计方面的 重要贡献，计算机程序设计艺术的作者1986John Hopcrof t、 Robert Tar jan由于在算法及数据结构设计和分析方面 的基础性成就Andrew Chi-C 由于在计算理论方面的贡献而获奖，包括2000 hih Ya（）（姚期伪随机数的生成算法、加密算法和通讯复 智） 杂性3）计算复杂性理论1982Stephen A. C ook由于其于1971年发表的论文，奠定了 NP -Completeness理论的基础1985Richard M. Karp由于在算法理论方面，特别是NP~comple teness理论方而，连续不断的贡献。

1993Juris lldttmtmis、Richard E・ Stearns由于他们的论文萸定了计算复杂性理论 的基础1995Manuel Blum由于在计算复杂性理论、密码学以及程序 校验方面的基础性贡献四・人工智能发展（1969—1975）1969Marvin Minsky人工智能理论及软件1971John McCarth y由于其讲稿"The Present State of Rese arch on ArtificialIntellegence",对人工智能领域的贡献1975Allen Newel1、Herbert A.Simon由于在人工智能、人类识别心理和表处理 的基础贡献1994Edward Feige nbaum> Ra j Re ddy由于他们所设计和建造的大规模人工智能 系统,证明了人工智能技术的重要性和其 潜在的商业价值2010莱斯利•瓦伦 特(Leslie Va liant)过去30年来，莱斯利•瓦伦特为人工智能 进步提供了理论基础，在改进机器学习方 面取得骄人成绩他在计算科学和数学领域的远见及认知 理论与其它技术结合后，开创了机器学习 和通信的新时代，如推出的计算系统 己经能够挑战人类回答问题的能力。

五.网络发展2004Vinto门 G. Ce if、Robert E.由于在互联网方面开创性的工作，这包括 设计和实现了互联网的基础通讯协议，TCKahnP/IP,以及在网络方面卓越的领导2009Charles Thac ker对第一台现代个人计算机Xerox PARC Al to的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探 高速缓存一致性协议和平板PC等方面的 重大发明和贡献六・计算机数据管理1981Edgar F. Cod d由于在数据库管理系统的理论和实践方 面基础性和连续不断贡献，关系数据库之 父1998.Tames Gray由于在数据库、事务处理研究和相关系统 实现的技术领导工作七.人机交互1983Ken Thompso n> Dennis M. Ritchie由于在通用操作系统理论研究，特别是U NTX操作系统的实现上的贡献1997Douglas Enge lbar t由于提出了激动人心的交互式计算机未 来构想，以及发明了实现这一构想的关键 技术1999Frederick P.Brooks, Jr.由于对计算机体系架构、操作系统以及软 件工程方面做出了具有里程碑式意义的 贡献。

A.计算机图形学1988Ivan Sutherl and由于在计算机图形学方面开创性和远见 性的贡献，其所建立的技术历经二、三十 年依然有效。