Joseph Sifakis 教授该文章于12月3日刊发于《中国日报》

2025年11月3日至5日，深圳可信自主系统“工业人工智能”研讨会在南科大召开。本次研讨会吸引了来自华为、百度、字节跳动、中兴、平安科技等知名企业的近40位高层及技术代表以及北京大学深圳研究生院、哈尔滨工业大学（深圳）、香港中文大学（深圳）等高校的代表参会。 本次研讨会由南方科技大学斯发基斯可信自主系统研究院主办，工学院、计算机系协办。工学院党委书记贡毅致开幕辞，图灵奖获得者、斯发基斯可信自主系统研究院院长、计算机系杰出访问教授Joseph Sifakis院士以及香港中文大学（深圳）人工智能学院校长永平讲席教授荆炳义作特邀报告。会议由斯发基斯可信自主系统研究院执行院长郝祁教授主持。 会上，贡毅期望通过研讨会实现产学研方面的深度交流探讨，重点围绕“可信自主系统”这一核心命题，凝聚未来在新挑战、新机遇与新方向等方面的共识。 Joseph Sifakis院士分别以“Industrial AI”和“Bringing AI to Autonomous Systems”为题作了两场主题报告。他探讨了AI如何助力创建AI智能体与多智能体系统，强调此项工作需与传统软件无缝集成，并分析了当前的技术局限。他强调，AI仍处于初级发展阶段，要实现自主系统愿景并接近人类智能水平依然任重道远。 荆炳义对具身智能（Embodied Intelligence）与智能体AI（Agentic AI）这两个正逐渐汇聚的前沿方向展开探讨。他认为，智能体AI正作为强大的数字化智能体迅速兴起，以前所未有的规模和速度在虚拟世界中自主学习、推理和行动。当前，它不仅能够解锁新能力，还为现实世界中的学习提供了宝贵启示。 本次研讨会设置了五大主题分享环节，涵盖可信智能系统、自动驾驶、可信软件、智慧医疗、智慧城市等热点领域，聚焦工业人工智能技术在大模型与智能云服务、5G-A与智能制造融合、全栈智算体系与基础设施、大模型开源与技术创新、本地生活服务与供应链优化、自动驾驶等领域的深度应用与创新实践。专家们分享了关于自动驾驶、智能诊断系统等工业AI的实践和最新成果，并围绕技术落地与产业协同等问题展开深入研讨，为行业搭建了技术交流与资源对接的平台。未来，斯发基斯可信自主系统研究院将进一步加强产学研合作，加速推进可信自主系统在工业场景的规模化应用。 供稿单位：斯发基斯可信自主系统研究院 通讯员：佟雪铭 编辑：任奕霏

2025年10月30日上午，图灵奖得主、南方科技大学斯发基斯可信自主系统研究院院长、计算机系杰出访问教授Joseph Sifakis院士做客第416期南科大讲堂，带来题为“将AI引入自主系统”的专题讲座。讲座由工学院院长陈明伟主持。 Joseph Sifakis是法国科学院院士、欧洲科学院院士、法国工程院院士、美国文理科学院院士、美国国家工程院院士、中国科学院外籍院士、美国国家科学院院士。2007年，Joseph Sifakis获得国际计算机界最高奖“图灵奖”，以表彰他在模型检测的理论和应用上所做出的杰出贡献。 讲座中，Joseph Sifakis院士指出自主系统是由多个智能体组成的分布式系统，每个智能体均追求自身目标，需协调以实现系统整体目标。他提出一种基于智能体参考架构的开发方法，将自主行为表征为独立功能组合结果。他深入探讨了AI如何助力创建AI智能体与多智能体系统，强调此项工作需与传统软件无缝集成，并分析了当前的技术局限。最后，Joseph Sifakis院士强调，AI仍处于初级发展阶段，要实现自主系统愿景并接近人类智能水平依然任重道远。 在讨论问答环节，Joseph Sifakis院士和在场师生就AI和自主系统等一系列相关问题进行了深入交流。 讲座结束后，陈明伟、斯发基斯可信自主系统研究院执行院长郝祁教授、计算机系系主任唐珂讲席教授共同为Joseph Sifakis院士颁发了“南科大讲堂”报告证书。 供稿：斯发基斯可信自主系统研究院通讯员：佟雪铭编辑：任奕霏

Joseph Sifakis 教授该文章于3月21日刊发于《中国日报》

2025年10月11日至12日，ACM图灵大会2025—安全专题研讨会在深圳国际会展中心希尔顿酒店顺利举办。该场会议由ACM SIGSAC CHINA主办、南方科技大学斯发基斯可信自主系统研究院（以下简称“研究院”）协办。研究院下设信息安全研究中心，覆盖可信隐私计算平台、可信智能计算架构、软硬件安全漏洞分析等研究方向，研究院院长Joseph Sifakis院士、中心主任张殷乾教授、张锋巍教授、牛健宇教授出席本次会议。 首先，香港大学Ho Chen教授发表了题为AI-driven Fuzzing across The Software Stack的主题演讲，系统探讨了AI技术在软件栈不同层级模糊测试中的应用路径。Ho Chen首先将软件栈分为Applications、Libraries、Compilers三个层级，逐一展开介绍了其团队在Fuzzing方向开展的工作及取得的成果，最后总结道，尽管仍需规避AI“幻觉”的影响，但AI技术凭借其在搜索、优化与生成上的优势，已切实推动软件栈各层级模糊测试的发展。 随后，蚂蚁集团田洪亮博士围绕“编译时安全革命——操作系统架构的新机遇”进行了主题报告，详细阐述了如何构建更安全、更高质量的操作系统。他指出，Rust语言同时兼备快速、安全与高效三种特质，如果期望在编译时就消除大多数安全问题，那么Rust语言将会成为首选。基于此，他介绍了星绽，一款由4家单位历时3年用12万行代码开发的OS内核，他表示，将致力于做出一个完全源自中国，先进且开源的Linux替代。 其次，ACM新星奖巴钟杰（浙江大学）和王喆（中科院计算所）分别作学术报告。巴钟杰围绕“大模型内容安全：前沿与挑战”议题，提出合成痕迹检测和内容违规管控两项技术；王喆围绕“软硬件协同的新型内核架构”议题，针对Linux内核发展局限，基于处理器的权级内访问控制特性，构建了一种核内再度分层的复式内核架构——“HAOC”。 最后，会议进入Panel环节。围绕“Agentic Al的兴起:安全、隐私与可信治理”这一主题，邀请了山东大学成秀珍教授、上海交通大学朱浩瑾教授、浙江大学纪守领教授、西安交通大学王伟教授、西安交通大学刘烃教授等参与。针对当前AI对生活场景的渗透日益深入的背景，众人纷纷提出诸如“开放性是否必然带来不安全性”、“如何使AI兼具智能化与可控性”、“当AI开始自主思考与决策时如何确保其行为符合人类意图和安全的边界”等论题。在热烈的讨论中，当日的会议落下帷幕。 次日，由南方科技大学杰出访问教授、研究院院长Joseph Sifakis院士作开场报告。他围绕Testing Autonomous Systems-What Really Matters and What Doesn't这一主题，明确表示自动驾驶系统的测试需突破传统方法论框架。基于机器学习的AI系统非结构化数据处理特性导致传统形式化验证技术难以适用，他提出了Criticality Ordering，通过量化场景风险指标优化测试案例选择，报告最终指向一个核心命题：自动驾驶测试需构建基于实证场景覆盖的分析体系，而非依赖未经验证的新兴概念。 随后，滑铁卢大学N. Asokan教授进行题为Blinded Memory的主题报告。他针对机器学习模型部署等场景中服务端代码保密性与客户端数据机密性的矛盾，提出了一种通过软硬件协同设计解决外包计算数据隐私问题的创新方案——BliMe。相比全同态加密和多方计算，BliMe在RISC-V处理器原型中验证了其高效性，且能抵御隐蔽信道攻击，为联邦学习、云计算等场景提供了兼顾性能与隐私保护的新路径。 紧接着，会议进入Panel环节。围绕“人工智能如何助力安全研究”这一主题，邀请了西安交通大学王伟教授、电子科技大学李洪伟教授、暨南大学黄欣沂教授、清华大学李琦教授等参与。众人围绕AI作为工具能否推动密码学的研究，及其给协议分析和攻击识别带来的新机遇等论题进行讨论，并结合各自的研究方向，深入探讨了AI应用于安全研究的实践中遇到的挑战。 最后，ACM新星奖、优博奖张治坤（浙江大学）、李想（南开大学）、谈心（华为云）、邓江毅（华为）等分别围绕“大语言模型生成内容安全”、“大模型辅助的域名系统逻辑类型漏洞发现”、“基于AI的隐匿漏洞补丁识别及工业场景应用”、“面向人机感知差异的声纹安全”等主题作学术报告。 ACM SIGSAC（Special Interest Group on Security, Audit and Control）是ACM所属的致力于计算机安全、审计和控制领域的专业分会。此次会议的圆满落幕，有助于促进计算机安全及相关领域的研究学术水平提升，进一步增强南科大在相关领域的影响力，并以会议为基点，推动学术界和工业界的协同发展。

2025年6月29日，斯发基斯可信自主系统研究院信息安全研究中心负责人张殷乾教授，依托深圳市计算机学会数据安全与Web3.0专委会平台和斯发基斯可信自主系统研究院，成功举办了“Web3技术前沿：新基建与价值创新”专题研讨会。此次研讨邀请了来自学术界与产业界的专家学者，聚焦Web3技术的最新进展、典型实践与未来路径进行分享交流，旨在协力赋能可信、开放、可持续的数字经济发展。 图1 参会人员合影照片 会议伊始，张殷乾教授作为数据安全与Web3.0专委主任向到场的嘉宾和企业代表致欢迎辞。张殷乾教授表示，专委会以安全网络和人工智能技术为核心，以跨界共振为主旨，希望能够以各类活动为载体，链接业界和学界沟通的桥梁，共同深入对于Web3技术的认知和理解。 图2 张殷乾致欢迎辞 随后，受邀到场的黄步添、丁勇、李辉忠、黄华威等4位专家学者先后进行了主题报告。 云象创始人兼董事长、CCF区块链专委会常务委员黄步添以“基于区块链的新型金融基础设施”为题作主题报告。黄步添董事长以“货币桥”、重复质押、一货多卖等案例生动形象点明了当前金融行业存在的痛点。他指出，基于区块链的新型金融基础设施正在重塑全球资产数字化进程，随着技术的进一步成熟、监管的逐步完善，有望成为下一代金融系统的核心支柱。 图3 黄步添作主题报告 广东科技学院教授、CCF区块链专委会常务委员丁勇围绕“区块链创新应用与RWA×稳定币流动性破局”进行报告。丁勇教授首先汇报了近期带领团队在区块链技术突破上取得的一系列成果与工作进展，并以香港为主要案例，介绍了RWA与稳定币的定义、演进趋势及相关影响。他认为，未来稳定币将在技术创新与监管合规方面取得突破，并在RWA市场中得到更广泛应用。 图4 丁勇作主题报告 微众银行区块链技术研发负责人、CCF区块链专委会常务委员李辉忠以“微众区块链技术探索及应用实践分享”为题进行报告。李辉忠介绍了国产可控的联盟链底层开源平台——FISCO BCOS，并着重强调了以开源促创新的重要性。当前，联盟链发展仍然存在诸多挑战，希望未来能够实现多链、多资产互联互通，推动Web3价值充分释放。 图5 李辉忠作主题报告 中山大学教授、CCF区块链专委会执行委员黄华威带来了“分片区块链BrokerChain:科研与实践”的报告。黄华威教授介绍了BrokerChain从底层共识协议设计到区块链系统实现、再到分片区块链上典型应用开发的全流程探索，并对部分功能进行了现场演示。他表示，希望BrokerChain下一步将赋能更多海内外区块链金融应用场景。 图6 黄华威作主题报告 在四位专家精彩的主题报告后，研讨会进入panel环节。会议现场以连线嘉宾、企业代表提问等方式，围绕稳定币机遇与载体、可信数据空间、产学研成果转化、区块链技术落地等议题展开了热烈的讨论。 图7 panel环节现场照片 CCF区块链专委会常务委员雷凯总结道，应用是驱动任何技术的必要前提。本次研讨会通过产学研多方视角，系统性地呈现了Web3技术在新基建与价值创新等方面的最新突破。Web3的发展需要学界的前瞻性研究与业界的实践验证形成闭环，信息安全研究中心将持续链接高水平交流平台，助力可信数字未来建设。

人人讲安全，个个会应急

近日，斯发基斯可信自主系统研究院智慧城市研究中心负责人宋轩教授主持的国家重点研发计划项目《制造业产品生命周期价值链多维数据空间及服务理论》在智能制造领域取得了一系列关键性进展。该项目攻关制造大脑关键核心技术，解决了制造业复杂产品价值链深度协同优化的难题。该项目由南方科技大学牵头，联合吉林大学、长春理工大学和中国第一汽车股份有限公司，通过近3年的产学研用联合攻关，突破了产品价值链数据服务和协同生产方面的多项关键技术，取得了一系列创新成果。 该项目紧紧围绕国家制造业高质量发展的重大需求，针对我国制造业普遍面临的产品价值链中海量复杂数据难以融合共享、繁杂流程环节协同效率低下、问题因果难以定位等痛点，成功攻克了产品生命周期价值链多维协同数据空间服务的理论构建难题。项目成果目前已在中国第一汽车股份有限公司的工厂成功落地应用。 未来，宋轩教授团队将依托国家重点研发计划项目的研究积累，进一步聚焦国家智能制造领域的重大需求，加快新一代人工智能关键核心技术在高端制造“卡脖子”问题上的突破，探索人工智能驱动的制造业新质生产力培育路径。 相关报道： 光明网： 人工智能驱动下的智能制造新质生产力-制造大脑科研攻关新突破_光明网 学习强国： 南方科技大学：人工智能驱动下的智能制造新质生产力 人民网： http://finance.people.com.cn.nevr.nl/n1/2025/0410/c1004-3224920.html 新华网： 人工智能驱动下的智能制造新质生产力-制造大脑科研攻关新突破-新华网