| 查看: 298 | 回复: 1 | |||
| 当前主题已经存档。 | |||
springsunyj至尊木虫 (文学泰斗)
|
[交流]
三位科学家获2007年度图灵奖
|
||
|
三位科学家获2007年度图灵奖 来源： 科学网 发布时间： 2008-02-14 点击数： 55 美国计算机协会（ACM）近日公布了2007年度图灵奖（Turing Award）的评选结果，本年度图灵奖授予Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。 1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用它确定代码中问题存在的位置。 英特尔研究中心副总裁Andrew Chien说：“英特尔和整个计算机工业都从他们的贡献中直接获益”。Google的高级工程副总裁Alan Eustace说：“Google像其他同时代的技术公司一样，很大一部分成功都来自于先驱们的研究贡献”。 图灵奖由美国计算机协会于1966年设立，专门奖励那些对计算机事业做出重要贡献的个人，其名称取自计算机科学先驱，英国科学家阿兰·图灵。获奖者的贡献必须在计算机领域具有持久而重大的影响。 图灵奖有“计算机界诺贝尔奖”之称，对获奖者要求极高，评奖程序亦极严格，目前由英特尔和Google公司赞助，奖金为25万美元。 目前获此殊荣的华人科学家仅姚期智一人。 [ Last edited by bingyulin3 on 2008-2-18 at 19:30 ] |
回复此楼» 猜你喜欢
面上项目filecode邪修
已经有6人回复
-
应该是93bebmhtak前后十一个字符比较关键
已经有14人回复
-
2026国自然放榜时间
已经有4人回复
-
关于代码变化问题，想知道的进来
已经有22人回复
-
这样的filecode谁见过
已经有21人回复
-
filecode与中标关系的预测
已经有5人回复
-
fileCode有新解读？
已经有18人回复
-
关于filecode，很负责任的告诉大家
已经有7人回复
-
【2027博士申请】纳米药物递送方向
已经有5人回复
-
关于豆爷回答的JTJC与%2F数量
已经有7人回复
2楼2008-02-14 22:38:04
20