当前时区为 UTC + 8 小时



发表新帖 回复这个主题  [ 6 篇帖子 ] 
作者 内容
1 楼 
 文章标题 : [分享]图灵奖(1966-2005)
帖子发表于 : 2007-09-15 0:02 
头像

注册: 2007-01-15 17:15
帖子: 3766
送出感谢: 0 次
接收感谢: 0 次
图灵(A. M. Turing)是现代计算机的发明者之一。图灵奖是以由美国计算机协会(Association of Computer Machinery-ACM)每年颁发给在计算机领域做出意义重大而深远的个人。1966年开始颁发,通常每年仅有一位获奖者。图灵奖的奖金是每年10万美元,由美国的英特尔公司(Intel Corporation)提供。

图灵奖似乎主要偏重计算机理论科学方面卓越贡献科学家,所以象 bill joy , stallman ,linuz 大概属于应用科学家至今无缘 :)

计算的美丽--图灵奖第一个40年 <---


图灵奖获得者分类(1966--2005)( 转 )


总共获奖人数(1966--2005):40届,50人。

获奖科学家国籍分布:


美国: 35 ( 包括华裔一位,姚期智 )
英国: 5
以色列: 3
加拿大: 2
挪威: 2
荷兰: 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 & 编译优化

程序设计语言(10)
------------------------------------------
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以及编译设计

形式语言, 程序语言语义 (4)
---------------------------------------------------------------
Robert W. Floyd (1978) -- 编程语言语义,自动程序验证
C. Antony R. Hoare (1980) -- Hoare Logic, CSP
Robin Milner (1991) -- LCF,ML,CCS,PI-calculus
Amir Pnueli (1996) -- 时序逻辑和系统验证

算法设计 (10)
-------------------------------------------------
Richard Hamming (1968) -- 汉明码
James Hardy Wilkinson (1970) -- 数值分析
Donald E. Knuth -- < Art of Computer Programming > tex 发明人,超人
John E. Hopcroft,Robert Endre. Tarjan (1986) -- 数据结构和算法设计
William (Velvel) Morton Kahan (1989) -- 浮点运算
姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性,密码系统和通讯复杂性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术 --RSA

计算理论,自动机,计算复杂性 (7)
-------------------------------------------------
Dana Stewart Scott (1976) -- 自动机
Michael Oser Rabin (1976) -- 自动机
Stephen Arthur Cook (1982) -- NP完全性
Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全
Juris Hartmanis,Richard Edwin Stearns (1993) -- 计算复杂性
Manuel Blum (1995) -- 计算复杂性,密码系统和程序检查验证

人工智能 (6)
------------------------------------------------------
Marvin Lee Minsky (1969) -- 神经元网络
John McCarthy (1971) -- LISP
Allen Newell,Herbert Simon (1975) -- Logic Theory Machine ( 78年诺贝尔经济学奖 , 神阿!)
Raj Reddy,Edward Feigenbaum(1994) -- 专家系统

操作系统 (4)
----------------------------------------------------------------------
Dennis MacAlistair Ritchie,Ken Thompson (1983) -- UNIX --- 高山仰止
Fernando Jose Corbato (1990) -- 分时系统
Frederick P. Brooks(1999) -- IBM System360 操作系统

数据库 (3)
---------------------------------------------------------
Charles W. Bachman (1973) -- 数据库
Edgar Frank Codd (1981) -- 关系数据模型
James Gray(1998) -- 数据库和事务处理

图形技术和交互式系统 (2)
---------------------------------------------
Ivan Edward Sutherland (1988) -- 图形技术,CAD
Douglas Engelbart(1998) -- 交互式系统,鼠标发明人:)

网络通讯(2)
------------------------------------------------------------
Vinton Gray Cerf (2004) -- Internet TCP/IP协议
Robert Kahn(2004) -- Internet TCP/IP协议

致敬 !


最后由 iblicf 编辑于 2008-01-23 22:33,总共编辑了 6 次

页首
 用户资料  
 
2 楼 
 文章标题 :
帖子发表于 : 2007-09-15 0:07 
头像

注册: 2007-03-13 17:26
帖子: 2254
送出感谢: 0 次
接收感谢: 1


哪找来的?


页首
 用户资料  
 
3 楼 
 文章标题 :
帖子发表于 : 2007-09-15 0:09 
头像

注册: 2007-01-15 17:15
帖子: 3766
送出感谢: 0 次
接收感谢: 0 次
2006 – Frances E Allen ( female ! )

IBM Fellow Emerita (2006)
Citation
For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution.


最后由 iblicf 编辑于 2007-09-15 0:14,总共编辑了 1 次

页首
 用户资料  
 
4 楼 
 文章标题 :
帖子发表于 : 2007-09-15 0:14 

注册: 2007-04-25 10:19
帖子: 71
地址: EE,SCUT
送出感谢: 0 次
接收感谢: 0 次
全是牛人~~ :em01


_________________
Stay hungry! Stay folish!
qt/embedded 和 qtopia很好玩~


页首
 用户资料  
 
5 楼 
 文章标题 :
帖子发表于 : 2007-09-15 10:59 
头像

注册: 2007-01-15 17:15
帖子: 3766
送出感谢: 0 次
接收感谢: 0 次
...


最后由 iblicf 编辑于 2007-12-31 18:07,总共编辑了 2 次

页首
 用户资料  
 
6 楼 
 文章标题 :
帖子发表于 : 2007-09-15 14:04 
头像

注册: 2005-04-06 21:15
帖子: 2200
地址: 安徽黄山
送出感谢: 0 次
接收感谢: 0 次
图灵+诺贝尔
跨学科能这样
顶峰了


_________________
生命不息,灌水不止,我师父是白娘子.另热烈庆祝本人blog访问量突破2w大关.
被高手bs,向小白显摆.


页首
 用户资料  
 
显示帖子 :  排序  
发表新帖 回复这个主题  [ 6 篇帖子 ] 

当前时区为 UTC + 8 小时


在线用户

正在浏览此版面的用户:没有注册用户 和 1 位游客


不能 在这个版面发表主题
不能 在这个版面回复主题
不能 在这个版面编辑帖子
不能 在这个版面删除帖子
不能 在这个版面提交附件

前往 :  
本站点为公益性站点,用于推广开源自由软件,由 DiaHosting VPSBudgetVM VPS 提供服务。
我们认为:软件应可免费取得,软件工具在各种语言环境下皆可使用,且不会有任何功能上的差异;
人们应有定制和修改软件的自由,且方式不受限制,只要他们自认为合适。

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
简体中文语系由 王笑宇 翻译