约瑟夫·斯发基斯(Joseph Sifakis)
/Upload/1649745177.jpeg
2007年图灵奖得主,美国国家工程院院士、美国文理科学院院士、欧洲科学院院士、法国科学院院士、法国工程院院士

2007年图灵奖得主,美国国家工程院院士、美国文理科学院院士、欧洲科学院院士、法国科学院院士、法国工程院院士。

Joseph Sifakis:第一位荣获图灵奖的法国研究人员 回目录Joseph Sifakis和Edmund Clarke(卡耐基梅隆大学CMU教授)及Allen Emerson(得克萨斯大学奥斯汀分校教授)于2008年2月4日一起荣获了2007年度的图灵奖。
Joseph Sifakis
Joseph Sifakis图灵奖由美国计算机协会(ACM)于1966年设立,是每年专门对计算机事业做出重要贡献的个人颁发的最高奖励。美国计算机协会创立于1947年,这个代表计算机专业人士的国际组织以出版发行该领域的科研成果及组织专业研讨会为主要任务。是法国研究人员第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。
Joseph Sifaki是法国国家科研中心(CNRS)的研究总监,法国国家科研中心2001年银质奖章的获得者,获有工程师博士学位和法国格勒诺布尔一大(UJF)国家博士生学位。他亦是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室(UJF/CNRS/INPG)的创始人。
由于在将模型检查方法应用于实时系统的验证方面的工作而使Joseph Sifaki在国际上获得声誉。他是广泛应用于工业界的“模型检查”技术的发明者。
模型检查(Model-Checking),是用数学算法来验证一个软件或硬件系统设计是否满足预设的需求(例如在安全性或可靠性方面)。模型检查理论基础是1981年由Sifakis在法国、Clarke和 Emerson在美国分别独立提出的。模型检查在工业检测方面有诸多应用:如芯片检测、通信协议、外部设备主控软件、嵌入式系统(如在飞机、火车、火箭、卫星或移动电话)以及安全算法等。
曾积极致力于将科研成果向工业合作伙伴转让的Joseph Sifaki,作为欧洲“卓越网络”(Network of Excellence)嵌入式系统设计研究联盟 « ARTIST2 Embedded Systems Design »的技术协调人,主要对35个欧洲研究小组的研究进行协调,以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。
Joseph SifakisJoseph Sifakis的研究工作具有决定性意义并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。
法国驻华大使馆对这一荣誉感到欢欣。授予Joseph Sifakis2007年度图灵奖,不仅使其成为第一位拥有此殊容的法国科学家,也进一步证明了法国在计算机领域的研究水平。



欢迎访问东方智库

会员登录 | 免费注册

讲师入驻通道

免费咨询热线:13810808675

热门搜索:部委学者  |  经济学家  |  培训课程  |  周延礼  |  蒋昌建  |  
首页 > 知名专家 > 国际名家 > 图灵奖专家 > 查看详情
约瑟夫·斯发基斯(Joseph Sifakis)
约瑟夫·斯发基斯(Joseph Sifakis)  2007年图灵奖得主,美国国家工程院院士、美国文理科学院院士、欧洲科学院院士、法国科学院院士、法国工程院院士
2007年图灵奖得主,美国国家工程院院士、美国文理科学院院士、欧洲科学院院士、法国科学院院士、法国工程院院士。JosephSifakis:第一位荣获图灵奖的法国研究人员回目录JosephSifakis和EdmundClarke(卡耐基梅隆大学CMU教授)及AllenEmerson(得克萨斯大学奥斯汀分校教授)于2008年2月4日一起荣获了2007年度的图灵奖。JosephSifakisJoseph...
  • 联系方式:
  • 手机号码:
  • 联系邮箱:
  • 微信扫码联系

    微信咨询

邀请费用:面议

邀请讲课
官方电话:13810808675
http://www.zgdfzk.com/index.php/tlj/111019.html
详细介绍

2007年图灵奖得主,美国国家工程院院士、美国文理科学院院士、欧洲科学院院士、法国科学院院士、法国工程院院士。

Joseph Sifakis:第一位荣获图灵奖的法国研究人员 回目录Joseph Sifakis和Edmund Clarke(卡耐基梅隆大学CMU教授)及Allen Emerson(得克萨斯大学奥斯汀分校教授)于2008年2月4日一起荣获了2007年度的图灵奖。
Joseph Sifakis
Joseph Sifakis图灵奖由美国计算机协会(ACM)于1966年设立,是每年专门对计算机事业做出重要贡献的个人颁发的最高奖励。美国计算机协会创立于1947年,这个代表计算机专业人士的国际组织以出版发行该领域的科研成果及组织专业研讨会为主要任务。是法国研究人员第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。
Joseph Sifaki是法国国家科研中心(CNRS)的研究总监,法国国家科研中心2001年银质奖章的获得者,获有工程师博士学位和法国格勒诺布尔一大(UJF)国家博士生学位。他亦是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室(UJF/CNRS/INPG)的创始人。
由于在将模型检查方法应用于实时系统的验证方面的工作而使Joseph Sifaki在国际上获得声誉。他是广泛应用于工业界的“模型检查”技术的发明者。
模型检查(Model-Checking),是用数学算法来验证一个软件或硬件系统设计是否满足预设的需求(例如在安全性或可靠性方面)。模型检查理论基础是1981年由Sifakis在法国、Clarke和 Emerson在美国分别独立提出的。模型检查在工业检测方面有诸多应用:如芯片检测、通信协议、外部设备主控软件、嵌入式系统(如在飞机、火车、火箭、卫星或移动电话)以及安全算法等。
曾积极致力于将科研成果向工业合作伙伴转让的Joseph Sifaki,作为欧洲“卓越网络”(Network of Excellence)嵌入式系统设计研究联盟 « ARTIST2 Embedded Systems Design »的技术协调人,主要对35个欧洲研究小组的研究进行协调,以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。
Joseph SifakisJoseph Sifakis的研究工作具有决定性意义并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。
法国驻华大使馆对这一荣誉感到欢欣。授予Joseph Sifakis2007年度图灵奖,不仅使其成为第一位拥有此殊容的法国科学家,也进一步证明了法国在计算机领域的研究水平。



快速发布需求
重新获取验证码

推荐讲师

专家动态