11月9日、10 日，上海市人工智能学会可信智能系统专委会 2024 年年会暨学术研讨会于华东师范大学滴水湖国际软件学院举行。本次会议汇聚了众多学术界专家与企业界精英，共同探讨可信智能系统领域的前沿成果与发展趋势。

▲会议现场

9日上午的开幕式上，上海市人工智能学会代表、同济大学教授张苗苗，专委会主任委员、我院教授陈仪香，我院副院长（挂职）朱丹分别作开幕致辞。

▲专委会主任委员、我院教授陈仪香致辞

在随后的大会特邀报告环节，上海大学任肖强教授以 “复杂网络化系统的安全优化与控制” 为主题，深入探讨了信息物理融合系统在发展过程中面临的安全隐患，并分享其团队在遭受数据篡改攻击下的多源信息融合方法等研究进展。

▲上海大学教授任肖强

同济大学张苗苗教授围绕 “Learning Assumptions for Compositional Verification of Timed Automata”，提出一种基于学习的确定性定时自动机组合验证框架，为解决模型检查中的状态爆炸问题提供新思路。

▲同济大学教授张苗苗

上海壁仞科技股份有限公司的 AI 软件首席架构师丁云帆则聚焦 “国产 GPU 如何突破大模型算力难题”，阐述了国产 GPU 在大模型训练中面临的挑战及解决方案。

▲上海壁仞科技股份有限公司 AI 软件首席架构师丁云帆

我院张民教授介绍了“面向高可靠智能控制系统的形式化方法研究”，展示团队如何运用形式化方法为智能控制系统的安全可靠性提供保证。

▲我院教授张民

9日下午，会议专题研讨《面向医疗健康领域的可信智能系统应用》。

上海赞奇文化科技有限公司生态经理张靖玮分享了 “NVIDIA GPU 加速 AI 计算” 相关内容，帮助高校与企业更好地了解 NVIDIA 产品及生态。

▲上海赞奇文化科技有限公司生态经理张靖玮

上海大学杨帮华教授介绍了“无创运动想象脑机接口及其神经康复应用研究”，展示了脑机接口在医疗领域的重要应用价值。

▲上海大学教授杨帮华

上海交通大学曹健教授探讨了“医疗智能服务系统：实践与展望”，强调了结合规则推理与数据驱动在医疗决策支持中的重要性。

▲上海交通大学教授曹健

华东师范大学博士研究生康宁和上海大学硕士研究生耿永峰分别就呼吸机相关并发症研究及外骨骼人机增效理论作相关报告。

▲华东师范大学博士研究生康宁

▲上海大学硕士研究生耿永峰

最后，曹健、杨帮华、杜江、张靖玮、任彬开启一场圆桌讨论，专家们各抒己见，共同探讨可信智能系统在医疗领域的发展方向。

▲专委会常务委员、我院教授张敏主持圆桌讨论

11 月 10 日上午，会议特意安排了学生论坛。苏州元起云智能科技有限公司算法顾问孙阳阳分享了“多模态临床预后模型研究”；同济大学博士研究生杨敏、硕士研究生郭卫冉分别介绍了“基于概率自动机的深度学习系统性能提升方法”和“多智能体深度强化学习中的鲁棒训练”；华东师范大学硕士研究生汪建勋、杨晶然分别带来“开源软件兼容性可信量化分析方法”和“公平性分类算法研究的报告”。学生论坛的最后，参会者自由讨论、积极互动，气氛热烈。

▲苏州元起云智能科技有限公司算法顾问孙阳阳

博士生杨敏                                                                         硕士生郭卫冉

硕士生汪建勋                                                                        硕士生杨晶然

会议期间，参会代表深入交流，有效促进了知识共享，众多研究成果和应用方案的公开展示为可信智能系统领域注入了新活力。同时，学生论坛为年轻学者搭建了交流平台，为可信软件领域后备人才提供了自我展示与相互进步的自由空间。