约瑟夫·希法基思：人工智能如何获得社会信任

约瑟夫·希法基思（Joseph·Sifakis）法国工程院院士、法国科学院院士、中国科学院外籍院士、欧洲科学院院士、美国艺术与科学院院士、美国工程院院士、法国国家科学研究中心研究总监、国际著名嵌入式系统研究中心Verimag实验室创始人。

约瑟夫·希法基思是“模型检测”技术的发明者，因将模型检测方法应用于实时系统验证而在国际上享有盛誉。因其在模型检测领域的杰出贡献，他和卡内基梅隆大学爱德蒙·克拉克（Edmund CIarke）、得克萨斯大学奥斯汀分校艾伦·爱默生（AIIen Emerson）共同荣获了2007年度图灵奖。

约瑟夫·希法基思的主要研究领域为模型检测及嵌入式系统设计与验证，他提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。此外，他还提出了带有“untiI”算子的分支时序逻辑来表达“公平性”。其模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，成为分析、验证并发系统性质的重要技术，被英特尔、IBM和微软等公司广泛应用。

扫码观看

访谈精选视频

我们应该如何理解复杂性？智能化系统要达到可信赖的标准，需要具备哪些条件，解决哪些问题？弱人工智能迈向强人工智能还需要解决哪些问题？从技术与规则两方面来看，自动驾驶还需要解决哪些问题？万物互联将带给我们哪些挑战，我们又该如何应对？