weixin

站点公告

当前位置 : 主页 > 站点公告

讲座预告|110周年校庆高端学术讲坛暨图灵奖大师报告会

作者: admin 时间: 2019-05-15 09:08 点击:

主办单位:学校办学110周年庆祝活动办公室

报告会时间:2019年5月16日周四下午2:30

报告会地点:学术交流中心 博学厅

报告会题目:Autonomous System Design in the Era of IoT

(物联网时代自主系统设计

报告人及简介:

Joseph Sifakis

2007年图灵奖获得者(与Allen Emerson和Edmund Clarke共同获得)、法国国家工程学院院士、法国科学院院士、美国艺术与科学学院院士、美国国家工程学院院士

Joseph Sifakis

出生:1946年12月26日

1974年-希腊雅典国立技术大学电气工程专业 博士学位

1979年-法国格勒诺布尔大学计算机科学专业 国家博士

2007年-与Allen Emerson和Edmund Clarke共同获得图灵奖

2008年-帕特拉斯大学名誉教授

2008年-法国国家工程学院 院士

2008年-法国国家荣誉勋章高级军官

2009年-瑞士洛桑联邦理工学院荣誉博士

2011年-法国科学院 院士

2011年-荣誉军团指挥官

2012年-列奥纳多·达·芬奇奖章

2013年-希腊凤凰社指挥官

2015年-美国艺术与科学学院 院士

2017年-美国国家工程学院 院士

 

 

图灵奖由美国计算机协会(ACM)于1966年设立,是每年专门对计算机事业做出重要贡献的个人颁发的最高奖励。美国计算机协会创立于1947年,这个代表计算机专业人士的国际组织以出版发行该领域的科研成果及组织专业研讨会为主要任务。是法国研究人员第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。

Joseph Sifakis和Edmund Clarke(卡耐基梅隆大学CMU教授)及Allen Emerson(得克萨斯大学奥斯汀分校教授)于2008年2月4日一起荣获了2007年度的图灵奖。

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 Sifakis的研究工作具有决定性意义并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。