| 查看: 302 | 回复: 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 ] |
回复此楼» 猜你喜欢
面上意见出来了
已经有21人回复
-
能否申诉？
已经有8人回复
-
梦想
已经有5人回复
-
中青基了要发朋友圈吗？
已经有7人回复
-
有多少人是今天查系统知道结果的？
已经有19人回复
-
29号明天会评吗
已经有4人回复
-
国社科又开始会评了，不知道这次命运如何
已经有10人回复
-
基金不中，共勉
已经有12人回复
-
为什么到现在没收到通知？
已经有5人回复
-
有没有仍没收到信息的
已经有8人回复
2楼2008-02-14 22:38:04
投票:
30