2025年9月12日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与铜陵学院联合承办的“CCF走进高校（CCF@U第1290场）”学术活动在铜陵学院翠湖校区隆重举行。

本次活动邀请了中国科学院软件研究所的宋富研究员、华东师范大学的张民教授、同济大学软件学院的张苗苗研究员以及浙江大学“百人计划”研究员王竟亦进行专题报告。铜陵学院副校长夏美武、科研处处长孙玉永、数学与计算机学院师生共计70余人参加本次活动。

铜陵学院夏美武副校长首先发表了致辞。他代表铜陵学院，对远道而来的各位专家学者表示最热烈的欢迎，并对中国计算机学会（CCF）的大力支持表示衷心感谢。夏校长指出，铜陵学院非常珍惜此次与各位专家学者交流学习的机会，期望能碰撞出更多智慧的火花，共同探索前沿技术的新路径与新方法。

随后，CCF形式化方法专委会副主任、华东师范大学的张民教授代表专委会致辞，表示本次活动是CCF第一次走进铜陵学院，希望可以有效推动未来的科研合作，并对铜陵学院数学与计算机学院承办本次活动表示感谢。

中国科学院软件研究所宋富研究员以“人工智能时代的声纹安全”为题，深入介绍了其团队在声纹识别系统安全攻防及声纹数据隐私保护方面的最新研究成果，探讨了在多模态生成式AI背景下保障声纹安全的重大挑战 。

浙江大学“百人计划”研究员王竟亦带来了题为“基于形式化方法的神经网络修复技术”的报告，聚焦于如何对无法满足安全性质的神经网络进行引导下的定向修复，该技术在自动驾驶、空中防撞等安全关键系统中具有巨大的应用潜力。

同济大学软件学院张苗苗研究员的报告主题为“实时系统的学习和验证”，她分享了关于实时嵌入式系统模型学习与验证的相关工作，这些技术对于保障航空航天、医疗设备等安全攸关领域系统的可靠性至关重要。

华东师范大学张民教授以“通往可信人工智能中逻辑、计算与智能的历史变迁”为题，系统追溯了逻辑、计算与人工智能的历史演变，并对如何协同三者构建值得信赖的智能系统进行了批判性讨论，强调了形式化方法在实现可信人工智能道路上的基础支柱作用。

此次“CCF走进铜陵学院”活动内容充实，通过专题报告，不仅让与会师生接触到了计算机领域的前沿知识，激发了科研兴趣，也为专委会专家与铜陵学院之间建立稳固的合作关系奠定了坚实基础，有力推动了未来的科研合作与人才培养。