图灵奖及得主.docVIP

图灵奖获得者总结(截止2005年)2009-09-08 18:14通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。到目前为止，是图灵奖的第一个40年(1966–2005)。总共有50位杰出的科学家获得了此荣誉。到现在为止（2008年2月8日）近2年过去了。新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。笔者在修订此书时，也一并将最新的获奖科学家收录于此。 另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。他们的失踪和离世是全人类的损失。笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。 笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。 该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。也可以适用于计算机相关工程技术人员业余时间阅读。 谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家! 获奖科学家国籍分布： 美国:39 英国:5 以色列:3 加拿大:2 挪威:2 荷兰:1 瑞士:1 丹麦:1 法国:1 图灵奖获得者最高学位分布： 博士学位：39 硕士学位：3 学士学位：5 无法了解:3 图灵奖获得者获奖时年龄分布： 70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter Naur) 60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn) 50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 59 40-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 49 30-39(2)：36(Donald Knuth), 38(Robert E. Tarjan) Unknown(2): Richard E. Stearns, James N. Gray 图灵奖获得者去世人数 (As of 5/19/2006)统计：12 获奖科学家研究方向分布： 硬件，体系结构 (2) Maurice V. Wilkes (1967) — 第一台具有内部存储程序的计算机EDSAC John Cocke (1987) — RISC编译优化 程序设计语言(11) Alan J. Perlis (1966) — ALGOL Edsger Wybe Dijkstra (1972) — ALGOL John W. Backus (1977) — FORTRAN Kenneth Eugene Iverson (1979) — APL程序语言 Niklaus Wirth (1984) — PASCAL John Cocke (1987) — RISC 编译优化 Ole-Johan Dahl，Kristen Nygaard (2001) — Simula语言和面向对象概念 Alan Kay(2003) — SmallTalk语言和面向对象程序设计 Peter Naur(2005) — ALGOL60以及编译设计 Frances E Allen(2006)–并行编译技术 形式语言, 程序语言语义 (4) Robert W. Floyd (1978) — 编程语言语义，自动程序验证 C. Antony R. Hoare (1980) — Hoare Logic, CSP Robin Milner (1991) — LCF，ML，CCS，PI-calculus Amir Pnueli (1996) — 时序逻辑和系统验证 Edmund M. Clarke（2007） –时序逻辑模型检查 E. Allen Emerson （2007） –时序逻辑模型检查 Joseph Sifakis （2007） –时序逻辑模型检查 算法设计 (10) Richard Hamming (1968) — 汉明码 James Ha