2025年10月30日上午，图灵奖得主、南方科技大学斯发基斯可信自主系统研究院院长、计算机系杰出访问教授Joseph Sifakis院士做客第416期南科大讲堂，带来题为“将AI引入自主系统”的专题讲座。

Joseph Sifakis是法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国人文和科学院院士、美国工程院院士和中国科学院外籍院士。2007年，Joseph Sifakis获得国际计算机界最高奖“图灵奖”，以表彰他在模型检测的理论和应用上所做出的杰出贡献。

讲座中，Joseph Sifakis院士指出自主系统是由多个智能体组成的分布式系统，每个智能体均追求自身目标，需协调以实现系统整体目标。他提出一种基于智能体参考架构的开发方法，将自主行为表征为独立功能组合结果。他深入探讨了AI如何助力创建AI智能体与多智能体系统，强调此项工作需与传统软件无缝集成，并分析了当前的技术局限。最后，Joseph Sifakis院士强调，AI仍处于初级发展阶段，要实现自主系统愿景并接近人类智能水平依然任重道远。

在讨论问答环节，Joseph Sifakis院士和在场师生就AI和自主系统等一系列相关问题进行了深入交流。 

讲座结束后，南方科技大学工学院院长陈明伟、斯发基斯可信自主系统研究院执行院长郝祁教授、计算机系系主任唐珂讲席教授共同为Joseph Sifakis院士颁发了“南科大讲堂”报告证书。

供稿：斯发基斯可信自主系统研究院

通讯员：佟雪铭

编辑：任奕霏