- 1、本文档共3页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
2007年图灵奖获得者
2007年图灵奖获得者:
Edmund M. Clarke,Allen Emerson和Joseph Sifakis
美国计算机协会2008年2月4日宣布了2007年图灵奖获得者:Edmund M. Clarke(艾德蒙德·克拉克),Allen Emerson(艾伦·埃莫森)和Joseph Sifakis(约瑟夫·西法基斯)三位科学家,表彰他们开发模型检测技术,并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。模型检查在工业检测方面有诸多应用:如芯片检测、通信协议、外部设备主控软件、嵌入式系统(如在飞机、火车、火箭、卫星或移动电话)以及安全算法等。获奖者1:Edmund M. Clarke(艾德蒙德·克拉克)
Clarke是卡耐基·梅隆大学(CMU)的教授,曾任 Formal Methods in Systems Design 杂志主编。曾任荣获2004年IEEE Harry M. Goode 纪念奖。ACM和 IEEE 计算机学会会士,2005年当选美国工程院院士。本科毕业于弗吉尼亚大学,硕士在杜克大学,均为数学专业,然后在康奈尔大学获得计算机博士学位。曾任教杜克大学和哈佛大学。他在CMU的模型检查课程。主要教材是:
(1)Logic in Computer Science: Modeling and reasoning about systems
Michael R A Huth and Mark D Ryan
Cambridge University Press(此书有中译本)
(2)Model Checking,Edmund M. Clarke, Orna Grumberg, and Doron Peled ,MIT Press
获奖者2:E. Allen Emerson(艾伦·埃莫森)
Emerson是得克萨斯大学奥斯汀分校教授,曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing,和 Formal Methods in Systems Design 等杂志的编委。他拥有得克萨斯大学奥斯汀分校数学学士和硕士学位,哈佛大学应用数学博士学位。他的主页透露,自己之所以走上形式化验证的道路,是受了1970年代中期图灵奖得主Tony Hoare的一篇CACM 论文“Proof of Program:Find”的启发。他位列CiteSeer引用次数最多的前1%计算机科学家。
获奖者3:Joseph Sifakis(约瑟夫·西法基斯)
Joseph Sifakis 是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室(UJF/CNRS/INPG)的创始人。法国国家科研中心(CNRS)的研究总监格勒诺布尔是奖的法国人。由于在将模型检查方法应用于实时系统的验证方面的工作而使Joseph Sifaki在国际上获得声誉。他是广泛应用于工业界的“模型检”技术的发明者。Joseph Sifakis的研究工作具有决定性意义并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。2007 Turing Award Winners Announced
For their groundbreaking work on Model Checking
Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software.
The method, called Model Checking, is the most widely used technique for detecting and diagnosing errors in complex hardware and software design. It has helped to improve the reliability of complex computer chips, systems and networks.
Clarke, a professor at Carnegie Mellon University,Emerson,of the Unive
您可能关注的文档
- (AP09)降水理论.ppt
- (SOMEBODY)第六节看不见的光.ppt
- (“长期借款”舞弊的原因及对策).doc
- (一)文化馆(站) - 海南.ppt
- (临沂业隆通用机械)3000字事迹材料.doc
- (主持词)自治县开展“清剿火患”战役推进会主持词.doc
- (中华一号)2012高考总复习地理精品课件--第一单元宇宙中的地球第1课时 地球与地图.ppt
- (人教新课标)四年级品德与社会上册课件 生命多么可贵.ppt
- (众多院校)马克思主义中国化培养方案.doc
- (人教版)2010年初中历史(精品课件)八年级(下)第2单元社会主义道路的探索 第4课工业化的进.ppt
- 农药项目申请报告 .pdf
- 减轻义务教育阶段学生作业负担和校外培训负担理论、评论和经验汇编(53.pdf
- 初中道德与法治人教部编版八年级下册第二单元 理解权利义务本单元综合.pdf
- 函数的概念(第2课时)(教学设计)高一数学系列(人教A版2019) .pdf
- 分布式云数据中心架构及管理关键技术 .pdf
- 军训第2天心得体会1000字5篇 .pdf
- 初中数学七年级数学下册第一单元《整式的乘除》检测(有答案解析.pdf
- 初中生物第二单元《生物体的结构层次》复习知识点(1) .pdf
- 初中历史《中国近代史——侵略与反抗》单元教学设计以及思维导图.pdf
- 初三化学1—6章期末总复习讲解及训练习题 .pdf
最近下载
- 人教PEP版六年级上册Unit 5 What does he do 单元整体教学设计.pdf
- 2021年新生儿感染:抗菌药物预防性与治疗性使用指南解读(全文).pdf
- 《数字图像处理教程》试题库.pdf VIP
- 学校意识形态工作计划.pdf
- 战略模拟软件CESIM全攻略(课堂PPT).ppt
- 中国碳交易政策对可持续经济福利的影响.pptx VIP
- 反三违(典型“三违”)行为清单.docx
- (高清版)B-T 3836.1-2021 爆炸性环境 第1部分:设备 通用要求.pdf VIP
- 人教版高一化学必修一知识点梳理.docx
- 人教pep版英语三年级上册阅读理解专项复习试卷测试题(含答案).doc
文档评论(0)