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

从图灵奖获得者贡献看计算机发展 —— 黄蕾 图灵奖 ，由美国计算机协会（ACM）于1966年设立，专门奖励那些对计算机事业作出要贡献的个人有“计算机界的诺贝尔奖”之称1996 Amir Pnueli 由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。 1978 Robert W. Floyd 由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项 计算机子学科。 1979 Kenneth E. Iverson 由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。 1980 C. Antony R. Hoare 由于在编程语言的定义和设计方面的基础性贡献。 1977 John Backus 由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。 1984 Niklaus Wirth 开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。 2005 Peter Naur 由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型。 2008 Barbara Liskov 在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠安全和更 3）计算机语言转化——编译器 1966 A.J. Perlis 由于其在先进编程技术和编译架构方面的贡献。 1987 John Cocke 由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。 2006 Frances E. Allen 对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。 2001 Ole-Johan Dahl、Kristen Nygaard 由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。 2003 Alan Kay 由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。 至理名言 预测未来的最好方法是创造它。 1967 Maurice V. Wilkes 由于设计和制造了第一台内部存储程序的计算机EDSAC。 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。 1968 Richard Hamming 由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。 1989 William (Velvel) Kahan 由于在数值分析方面的基础性贡献。 2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman 由于在公共密钥理论和实践方面的基础性工作。 1974 Donald E. Knuth 由于在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者。 1986 John Hopcroft、Robert Tarjan 由于在算法及数据结构设计和分析方面的基础性成就。 2000 Andrew Chi-Chih Yao（姚期智） 由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。 计算复杂性理论1982 Stephen A. Cook 由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。 1985 Richard M. Karp 由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。 1993 Juris Hartmanis、Richard E. Stearns 由于他们的论文奠定了计算复杂性理论的基础。 1995 Manuel Blum 由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。 —1975） 1969 Marvin Minsky 人工智能理论及软件 1971 John McCarthy 由于其讲稿The Present State of Research on Artificial Intellegence，对人工智能领域的贡献。 1975 Allen Newell、Herbert A. Simon 由于在人工智能、人类识别心理和表处理的基础贡献。