讲座报告:图灵奖得主Joseph Sifakis在线学术报告:Autonomous Systems

时间 2021年06月19日 14:00 - 16:00
地点 腾讯会议:441 999 631
网址

?

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

?

? ? ?报告时间:2021年6月19日(星期六) 14:00-16:00

? ? ?腾讯会议:441 999 631

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

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

? ? ?报告摘要:

? ? ?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.

? ?

点击微信扫一扫