9月12日， “CCF走进高校”铜陵学院站在我校翠湖校区成功举行。活动由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与铜陵学院联合承办。校党委委员、副校长夏美武出席会议。来自多所科研院所的专家学者参加活动。
开幕式上，夏美武代表学校对与会专家表示热烈欢迎，对CCF及专委会的支持表示感谢。他指出，当前数字技术迅猛发展，地方高校应主动融入科技变革，推动人工智能与传统产业深度融合。他希望通过此次高水平学术交流，为学校电子信息学科建设与人才培养注入新动力，进一步探索科技服务区域发展的创新路径。
CCF形式化方法专委会副主任、华东师范大学张民教授认为，“CCF走进高校”系列活动旨在促进学术资源下沉、推动科研合作。他希望以本次活动为起点，加强与铜陵学院的持续互动，共同推进计算机学科发展。
特邀专题报告中，中国科学院软件研究所宋富以“人工智能时代的声纹安全”为题，深入剖析了声纹识别系统面临的安全挑战与防护机制。浙江大学王竟亦介绍了“基于形式化方法的神经网络修复技术”，阐述了其在自动驾驶等安全关键场景中的应用价值。同济大学张苗苗围绕“实时系统的学习与验证”主题，分享了高可信嵌入式系统验证的最新进展。华东师范大学张民则从历史演进视角出发，作了“通往可信人工智能中逻辑、计算与智能的历史变迁”报告，强调形式化方法在构建可信人工智能中的基础作用。
在校期间，与会专家们还对我校电子信息硕士点申报与学科发展进行了指导。大家一致认为，我校学科建设应紧密结合铜陵市铜基新材料等地方产业转型需求，进一步突出应用特色、深化产教融合，加强校企协同创新，将现实问题转化为科研与教学资源。
本次活动不仅拓宽了我校师生的学术视野，也为我校计算机相关学科的建设与发展提供了清晰指引。今后，学校将继续深化与CCF及专委会的合作，推动更多高水平学术资源落地，为培养高素质应用型人才、服务地方经济社会发展注入新动能。
（来稿时间：2025年9月15日 撰稿：孙璞 编辑：张文斌 审稿：陈文勇 齐平/杨昀）
