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

从图灵奖获得者贡献看计算机发展
——黄蕾
图灵奖,由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机事业作出重要贡献的个人,有“计算机界的诺贝尔奖”之称。从获奖者的贡献我们可以看到计算机65年发展历史的缩影。
、软件开发持续发展
1)计算机编程理论逐渐形成完善
1996
Amir Pnueli
由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。
1978
Robert W. Floyd
由于在如何开发高效、可靠的软件方法论方面的贡献,这包括:建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项
计算机子学科。
1979
h E. Iverson
由于在编程语言的理论和实践方面,特别是APL,所进行的开创性的工作。
2)编程语言的发展
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
. Perlis
由于其在先进编程技术和编译架构方面的贡献。
1987
John Cocke
由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。
2006
Frances E. Allen
对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。
4)面向对象编程
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则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
、理论
1)数学计数
1968
Richard Hamming
由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1989
William (Velvel) Kahan
由于在数值分析方面的基础性贡献。