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

从图灵奖取得者贡献看计算机发展
—— 黄蕾
图灵奖 ，由美国计算机协会（ACM）于1966年设置，专门奖励那些对计算机事业作出关键贡献个人，有“计算机界诺贝尔奖”之称。从获奖者贡献我们能够看到计算机65年发展历史缩影。
一．计算机编程、软件开发连续发展
1）计算机编程理论逐步形成完善
1996
Amir Pnueli
因为在计算科学中引入temporal逻辑和对编程和系统认证方面杰出贡献。
1978
Robert W. Floyd
因为在怎样开发高效、可靠软件方法论方面贡献，这包含：建立分析理论、编程语言语义学、自动程序检验、自动程序综合和算法分析在内多项
计算机子学科。
1979
Kenneth E. Iverson
因为在编程语言理论和实践方面，尤其是APL，所进行开创性工作。
2）编程语言发展
1980
C. Antony R. Hoare
因为在编程语言定义和设计方面基础性贡献。
1977
John Backus
因为在高级语言方面所做出含有广泛和深远意义贡献，尤其是其在Fortran语言方面。
1984
Niklaus Wirth
开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新计算语言。
Peter Naur
因为在设计Algol60程序设计语言上贡献。Algol60语言定义清楚，是很多现代程序设计语言原型。
Barbara Liskov
在计算机程序语言设计方面开创性工作。她贡献是让计算机软件愈加可靠安全和愈加一致。
3）计算机语言转化——编译器
1966
. Perlis
因为其在优异编程技术和编译架构方面贡献。
1987
John Cocke
因为在编译器设计和理论、大规模系统架构和开发RISC等方面关键贡献。
Frances E. Allen
对于优化编译器技术理论和实践做出先驱性贡献，这些技术为现代优化编译器和自动并行实施打下了基础。
4）面向对象编程
Ole-Johan Dahl、Kristen Nygaard
因为面向对象编程始发于她们基础性构想，这些构想集中表现在她们所设计编程语言SIMULA I 和SIMULA 67中。
Alan Kay
因为在面向对象语言方面原创性思想，领导了Smalltalk开发团体，和对PC基础性贡献。
至理名言
估计未来最好方法是发明它。
二．计算机硬件发展
1967
Maurice V. Wilkes
因为设计和制造了第一台内部存放程序计算机EDSAC。
Edmund M. Clarke、Allen Emerson和Joseph Sifakis
在将模型检验发展为被硬件和软件业中所广泛采纳高效验证技术上贡献。而DDJ则将三人贡献称为“在发觉计算机硬件和软件中设计错误自动化方法方面工作”。
三．计算机算法、理论
1）数学计数
1968
Richard Hamming
因为其在计数方法、自动编码系统、检测及纠正错码方面工作。
1989
William (Velvel) Kahan
因为在数值分析方面基础性贡献