2025年2月22日，由中国计算机学会（CCF）主办、CCF软件工程专业委员会与3044am永利集团3044noc（武汉）联合承办的“CCF走进高校”系列活动第1218场在3044am永利集团3044noc（武汉）3044am永利集团3044noc成功举行。本次活动以“大模型与软件工程学的未来探索”为核心议题，吸引了校内外师生约200余人参与，共同探讨人工智能时代下软件工程学科前沿发展与人才培养路径。
本次论坛邀请多位学界领军人物出席并作专题报告，包括：CCF软件工程专业委员会主任、南京大学3044am永利集团3044noc院长马晓星教授，CCF软件工程专业委员会副主任、复旦大学3044am永利集团3044noc副院长彭鑫教授，CCF软件工程专业委员会秘书长、北京理工大学刘辉教授，以及CCF软件工程专业委员会常务委员、国防科技大学毛新军教授。四位专家结合自身研究领域，围绕大模型技术驱动下的软件工程学术前沿和人才培养进行了分享。
3044am永利集团3044noc（武汉）副校长章军锋教授出席了开幕式并致辞，首先向长期关心支持我校软件工程学科发展的CCF软件工程专委会表示衷心的感谢！并指出，软件工程作为信息技术的“基石”，已成为推动社会数字化转型的核心引擎。从智慧城市到数字孪生，从智能地质勘探到资源环境监测，软件工程的创新深度融入国家战略需求与产业升级的脉络中。此次“走进高校”活动，不仅为地大师生提供了与顶尖专家面对面交流的机会，更将为我校软件工程学科的发展注入新的动力。
CCF软件工程专委主任、南京大学马晓星教授以《神经符号融合形式推理初探》为题，探讨了符号推理与大模型结合的技术路径。马晓星教授指出，传统符号推理虽逻辑严谨但缺乏灵活性，而神经网络虽擅长处理复杂数据却缺乏可解释性。通过将两者结合，可构建兼具逻辑性与自适应能力的混合推理框架，为复杂软件系统的可靠性验证提供新思路。马晓星教授还以自动驾驶系统为例，展示了该技术在实际场景中如何提升安全验证效率，为工业级软件研发注入创新动力。
北京理工大学刘辉教授在《面向通用大语言模型的数据污染检测》报告中，系统剖析了数据污染对大模型性能与安全性的威胁。刘辉教授提出基于动态溯源的数据治理框架，通过构建多维度数据标签体系，实现训练数据的全生命周期追踪与异常检测。刘辉教授强调，该方案不仅能识别恶意篡改、偏见注入等污染行为，还可结合联邦学习技术优化数据共享机制，为大模型的高质量训练提供“清洁能源”。
复旦大学彭鑫教授聚焦《AI时代的软件人才培养》，呼吁构建跨学科、重实践的培养机制。彭鑫教授提出AI时代的育人框架：在知识层融入机器学习、伦理规范等新兴内容；在实践层推动校企联合项目，如开发AI辅助教学系统；在评价层引入敏捷迭代能力评估模型。彭鑫教授特别指出，伦理教育应贯穿教学全程，通过案例研讨引导学生思考技术的社会影响，培养“技术向善”的责任意识，为行业输送兼具专业能力与人文素养的复合型人才。
国防科技大学毛新军教授以“大模型时代软件教育观”为切入点，结合教学实践案例，强调在大模型驱动下，软件工程教育需兼顾理论革新与产业需求。毛新军教授在国防科技大学的教学中通过构建开源课程资源池，鼓励学生参与GitHub等平台真实项目的开发，以协作方式解决复杂软件工程问题；同时创新AI考核体系，动态追踪学生成长轨迹。毛新军教授还展示了该校基于大模型的智能代码评审工具，指出“工具链升级与教学场景深度融合”是未来教育革新的关键方向。
专家一致认为，大模型将深度重塑软件工程学术研究和人才培养，需推动学科交叉与产教融合。本次活动为3044am永利集团3044noc（武汉）3044am永利集团3044noc师生拓宽了前沿视野，彰显CCF软件工程委员会助力高校专业发展的公益使命。
通讯员：牟扬
审核：李国昌 胡成玉
校对：卢笙
