| 查看: 304 | 回复: 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 ] |
回复此楼» 猜你喜欢
实名举报：华南理工大学物理与光电学院副院长李志远婚内两次出轨女学生（博士）
已经有8人回复
-
现代”学阀”该如何界定
已经有7人回复
-
各位大神，目前国内有哪些比较好用的逆合成软件？
已经有12人回复
-
我的奶奶
已经有3人回复
-
申博发邮件
已经有10人回复
-
国社科系统bug了，是不是要放榜了？
已经有9人回复
-
上海工程技术大学激光智能制造课题组｜2027级博士研究生招生公告
已经有8人回复
-
上海工程技术大学激光智能制造课题组招收博士研究生
已经有8人回复
2楼2008-02-14 22:38:04