2026年4月17日，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办、武汉工程大学计算机学院承办的CCF系统软件专委会走进高校活动，在武汉工程大学图灵报告厅成功举行。本次活动聚焦系统软件与可信人工智能前沿方向，邀请华中科技大学计算机科学与技术学院李瑞轩教授、武汉理工大学计算机与人工智能学院向剑文教授、华中科技大学网络空间安全学院文明教授、武汉大学计算机学院辛奇副教授，围绕系统软件安全与可靠性保障、可信AI关键技术、系统软件优化、人才培养等议题作了精彩报告。

CCF系统软件专委会走进高校活动现场

本次活动由武汉工程大学计算机学院院长徐华昕教授主持，在活动开幕环节，徐华昕教授代表承办单位致辞，向参加活动的师生表示热烈欢迎，并简要介绍了本次活动的四场报告。

武汉工程大学计算机学院院长徐华昕教授主持走进高校活动

华中科技大学李瑞轩教授以《可信人工智能：挑战与实践》为题，深入剖析了当前AI系统在应用场景面临的核心挑战。他指出，以深度学习为基础的AI模型常被视为“黑盒”，其内部决策逻辑缺乏透明度，这为自动驾驶、金融风控等关键领域的软件部署带来了巨大风险。针对这一问题，李教授系统阐述了可解释性机器学习、联邦学习和开放世界学习三大前沿技术路径。他强调，构建下一代可信AI系统软件，必须从底层架构入手，通过可解释性技术增强模型透明度，利用联邦学习在保护数据隐私的前提下实现多方协同，并借助开放世界学习方法赋予系统处理未知场景的能力。

华中科技大学李瑞轩教授报告分享

武汉理工大学向剑文教授带来了《大胆质疑、勇于创新，培养终身学习能力》的主题分享。他结合自身在软件工程、网络安全及人工智能等领域的深厚研究经验，深刻论述了在系统软件这一复杂且快速演进的领域中，青年学子应该如何锻造核心竞争力。向教授鼓励同学们要敢于对现有系统设计范式和技术方案提出质疑，勇于探索创新性的解决方案。他特别强调，在系统软件开发中，从底层操作系统到上层应用框架，都亟需具备批判性思维和持续学习能力的人才，以应对日益严峻的安全挑战和性能瓶颈，为国家信息基础设施的自主可控贡献力量。

武汉理工大学向剑文教授报告分享

华中科技大学文明教授聚焦系统软件的关键环节—编译器，作了题为《面向编译器的可信智能测试技术研究与实践》的报告。他指出，编译器作为连接高级语言与机器指令的桥梁，其自身的正确性对上层应用软件的安全性与可靠性具有重要影响。然而，传统测试方法难以有效发现编译器中的深层逻辑错误。对此，文教授分享了其团队在可信智能测试技术方面的研究成果，通过将人工智能与程序分析深度融合，构建了一套高效的编译器缺陷检测与验证体系。

华中科技大学文明教授报告分享

武汉大学辛奇副教授以《基于优化的软件功能消胀》为题，从系统软件优化的角度切入，探讨了现代软件日益臃肿所带来的性能和安全问题。他结合软件测试、程序分析等研究方向，深入讲解了如何识别并剔除软件中的非必要功能代码。方法将有助于提升软件运行效率、降低资源消耗，为构建高性能、轻量化软件提供新技术思路与实践方案。

武汉大学辛奇副教授报告分享

四场报告从系统软件的可靠性、安全性及创新型人才培养等方面展开深入探讨。与会学者与现场师生围绕报告内容展开了深入而热烈的互动交流。未来，中国计算机学会系统软件专委会将持续推进CCF走进高校等活动，积极搭建高水平、常态化的学术交流平台，推动系统软件领域核心技术突破与人才培养，助力我国在关键系统软件领域实现自主可控与引领发展。