2026年6月27日上午，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办、燕山大学人工智能学院（软件学院）承办的CCF系统软件专委会走进高校（燕山大学站）活动在燕山大学行知报告厅成功举办。本次活动聚焦系统软件、人工智能安全、智能嵌入式系统与可信软件工程等前沿方向，邀请中国科学院信息工程研究所陈恺研究员、华东师范大学胡铭青年研究员、天津大学姜佳君英才副教授、燕山大学杨博洋老师作专题报告。中国科学院信息工程研究所孟国柱副研究员、东北大学王莹教授等专家，燕山大学相关领导、教师和学生代表参加活动。

CCF系统软件专委会走进高校（燕山大学站）活动现场合影

活动开幕环节和第一阶段学术报告由燕山大学人工智能学院（软件学院）副院长王林教授主持。

人工智能学院（软件学院）副院长王林教授主持开幕与第一阶段学术报告

燕山大学党委常委、副校长陈国强代表学校致辞，介绍了燕山大学的发展历史、学科建设基础以及学校在系统软件、可信软件等方向的研究积累，并对本次活动提出殷切期待。随后，CCF系统软件专业委员会常委、中国科学院信息工程研究所陈恺研究员介绍了专委会的发展情况、组织建设和学术活动。

燕山大学党委常委、副校长陈国强与CCF系统软件专委会常委陈恺分别致辞

陈恺研究员作题为《大模型的安全构建与隐私风险》的报告，从自动驾驶、智能机器人等场景中的模型失效风险切入，指出模型一旦在物理世界中被攻击或误判，可能带来直接的物理安全风险。报告结合视觉感知、车载雷达等案例，分析了对抗样本、模型后门与大模型越狱等安全问题，并介绍了团队在模型防御、后门/水印机制和内部状态分析等方面的探索。陈恺研究员还围绕大模型供应链安全、模型文件解析风险以及隐私泄露真实性判别等问题，讨论了大模型从训练、部署到应用全过程中的安全防护思路。

中国科学院信息工程研究所陈恺研究员报告分享

华东师范大学胡铭青年研究员作题为《面向智能嵌入式系统的自动化设计》的报告，从轨道交通、汽车电子、航空航天等安全攸关场景出发，指出智能嵌入式系统规模和复杂度持续提升，传统依赖人工理解需求、手工编写控制逻辑和硬件描述代码的方式难以保证设计正确性。报告围绕基础组件设计、智能模块构造与协同机制设计、可信保障机制设计三个层面，介绍了团队在CCSL时间规约自动化综合、AIoTML统一建模语言、联邦学习训练策略优化与可信保障机制方面的研究进展。胡铭还分享了基于需求分析的自动化行为模型构建、平台无关模型到平台相关代码生成，以及资源受限环境下异构联邦学习等探索。

华东师范大学胡铭青年研究员报告分享

第二阶段学术报告由燕山大学人工智能学院（软件学院）人工智能系主任张炳副教授主持。

人工智能系主任张炳副教授主持

第二阶段学术报告

天津大学姜佳君英才副教授作题为《大模型驱动的软件缺陷自动检测与修复技术》的报告，从传统软件质量保障需求出发，讨论大语言模型如何辅助软件缺陷检测和自动修复。报告介绍了检测规则自动生成方法DSLGen：借助大模型代码理解能力提取修复意图、推断缺陷根因，并生成可用于新项目检测的缺陷规则；在代码提交阶段，该方法可扫描本次提交修改的函数以提前检查潜在缺陷。随后，姜佳君围绕基于LLM的自动修复技术，介绍了GiantRepair通过构建补丁代码骨架、结合项目上下文进行补丁实例化与验证，从而提升补丁生成效果的探索。

天津大学姜佳君英才副教授报告分享

燕山大学杨博洋老师作题为《面向软件维护场景的可信程序修复》的报告，围绕真实软件维护中的程序自动修复问题展开。报告指出，面向软件维护场景，可合入的补丁需同时满足正确性、可解释性和聚焦性。杨博洋介绍了团队在修复证据构建与利用、修复模型目标建模与行为约束、跨语言修复与场景迁移方面的探索，包括利用测试输入归约和仓库知识图谱组织修复证据，通过多目标微调和最小编辑约束降低审计负担，以及面向低资源语言的跨语言修复方法。

燕山大学杨博洋老师报告分享

各报告后的交流环节中，与会师生围绕大模型安全、智能嵌入式系统设计、软件缺陷检测与程序自动修复等议题与专家展开交流，重点讨论了密态推理的精度与效率、越狱防御中的前后端检测、联邦学习后门防御，以及大模型修复幻觉与上下文利用等问题。东北大学王莹教授组织现场交流并进行了活动总结，对各位报告人的精彩分享表示感谢，并对燕山大学人工智能学院（软件学院）的精心筹备和周到安排表示感谢。她表示，本次活动展现了系统软件与人工智能的深度融合，也体现了青年学者扎实的学术功底和敏锐的问题意识。

现场交流与活动总结

未来，中国计算机学会系统软件专委会将持续推进专委走进高校等活动，推动更多面向前沿问题、青年人才和产学研协同的交流活动，凝聚学科力量，深化开放合作，助力我国系统软件领域高质量发展。