本网讯（通讯员 杨彦 贾天琦）为拓宽学术视野，促进跨学科交流，4月17日下午，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办，武汉工程大学计算机科学与工程学院（人工智能学院）承办的CCF系统软件专委会走进高校活动在学院一站式学生社区——图灵报告厅举行。华中科技大学计算机科学与技术学院副院长李瑞轩教授、武汉理工大学计算机与人工智能学院副院长向剑文教授、华中科技大学文明教授、武汉大学辛奇副教授等专家学者，学院全体班子成员及教师、研究生代表参加本次活动，本次活动由计算机科学与工程学院（人工智能学院）院长徐华昕教授主持。

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

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

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

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

本次系列学术报告会的成功举办，开阔了我校师生在系统软件的可靠性、安全性等领域的研究视野，深化了大家对复杂系统安全性与智能测试方法的认识。报告内容兼具理论深度与实践指导性，现场互动热烈，有效促进了我校在相关交叉领域的学术交流与创新氛围的营造。与会师生表示将以此次报告为契机，进一步加强后续的交流与合作。（审稿 张炜 徐华昕）