Joseph Sifakis是世界著名嵌入式系统专家，主要研究领域是模型检测及嵌入式系统设计与验证。他于1981年独立提出模型检验方法，这一方法被广泛应用于芯片检测、通讯协议、嵌入式系统以及安全算法等领域。2007年，他因在模型检验理论和应用上的卓越贡献而被授予图灵奖（与之同年获奖的是两位美国计算机科学家Edmund Clarke和E. Allen Emerson）。他是法国国家科研中心（CNRS）的研究总监、法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士、美国国家工程院院士、中国科学院外籍院士。他曾获得法国国家勋章以及法国荣誉军团勋章，并于2012年获得了达芬奇奖章。目前Sifakis教授在法国的格勒诺布尔以嵌入式系统著称世界的研究中心VERIMAG实验室进行研究工作，他本人也是VERIMAG实验室的创始人。Sifakis教授先后于2017年5月和12月、2018年6月多次访问哈工大计算机学院，并担任哈工大物联网国际实验室主任。

     报告时间：2021年6月19日（星期六） 14:00-16:00

     腾讯会议：161  561  957

     主持人：计算学部学术事务助理张羽

     开场致辞：计算学部主任、计算机学院院长刘挺

     报告摘要：

     Why is self-driving so hard? Despite the enthusiastic involvement of big technological companies and the massive investment of many billions of dollars, all the optimistic predictions about self-driving cars “being around the corner” went utterly wrong. This talk form Professor Sifakis argues that these difficulties emblematically illustrate the challenges raised by the vision for trustworthy autonomous systems. These are critical systems intended to replace human operators in complex organizations, very different from other intelligent systems such as game-playing robots or intelligent personal assistants.