| 查看: 257 | 回复: 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 ] |
回复此楼» 猜你喜欢
计算机、0854电子信息（085401-058412）调剂
已经有5人回复
-
国自然申请面上模板最新2026版出了吗？
已经有13人回复
-
基金委咋了？2026年的指南还没有出来？
已经有3人回复
-
Materials Today Chemistry审稿周期
已经有5人回复
-
溴的反应液脱色
已经有7人回复
-
推荐一本书
已经有12人回复
-
基金申报
已经有4人回复
-
纳米粒子粒径的测量
已经有7人回复
-
常年博士招收(双一流，工科)
已经有4人回复
-
有没有人能给点建议
已经有5人回复
2楼2008-02-14 22:38:04