我会常务理事林闯教授应邀参加ACM2007颁奖晚会-CCF老网站-中国计算机学会_188体育app官网

您的位置：首页 > 往期新闻查询 > CCF老网站

我会常务理事林闯教授应邀参加ACM2007颁奖晚会

阅读量：54

2008-07-09

收藏本文

2008 年 6 月 21 日， ACM 于美国加州旧金山举行了 ACM 2007 年度颁奖晚会。 ACM 理事，清华大学计算机系林闯教授与微软亚洲工程院院长张宏江博士应邀参加了会议（张宏江博士当选为 ACM 会士）。

图片：林闯教授与 ACM CEO John White 合影

晚会颁发了 2007 年度的多项 ACM 奖项，以表彰在计算机科学领域做出杰出成就。其中最重要的是 ACM 图灵奖。本届图灵奖由卡内基 . 梅隆大学的 Edmund M. Clarke 教授，德州大学奥斯汀分校的 E. Allen Emerson 教授，以及法国 Verimag 实验室的 Joseph Sifakis 获得，用于表彰他们在模型检测（ Model Checking ）方面的贡献。目前，模型检测已经在软件和硬件工业界得到了广泛的应用，成为一种有效的验证技术。三位图灵奖得主将分享由 INTEL 公司和 Google 公司提供的 25 万美元的奖金。

另一个重要奖项是 ACM Infosys 基金会奖，由斯坦福大学的 Daphne Koller 教授获得，以表彰她在合并关系逻辑与概率方面的贡献。她的工作使得概率推理在机器人、经济以及生物等领域得到了广泛应用。 Daphne Koller 教授获得了 Infosys 基金会提供的 15 万美元的奖金。

除此之外， ACM 还在晚会上颁发了在人工智能、软件系统、计算机理论与实践、计算科学与工程、教育、博士论文、杰出贡献等多个奖项。本届 ACM 大奖的工作均为得到广泛验证的理论基础性工作和计算机系统工作，对我国的计算机科学发展具有一定的借鉴意义。

收藏本文

<<< 上一篇我学会接受中国科协检查获好评

我会高级会员王怀民被聘为2007年度长江学者特下一篇 >>>

<<< 下一篇我会高级会员王怀民被聘为2007年度长江学者特

读完这篇文章后，您心情如何？

[ 0 ]人参与 (点击查看)

匿名评论所有评论仅代表网友意见

188体育app官网_188体育投注

我会常务理事林闯教授应邀参加ACM2007颁奖晚会

推荐内容