近日，2025 CCF中国软件大会在武汉国际会议中心举行。大会由中国计算机学会（CCF）主办，同期举办CCF形式化方法专业委员会2025年度会议。我校数学与计算机学院孙璞博士受邀参会，并顺利增选为中国计算机学会形式化专业委员会执行委员。
本次CCF中国软件大会聚焦软件工程、系统软件及形式化方法等前沿方向，为国内外学者搭建高端学术交流平台。大会期间，CCF形式化方法专委会年度会议重点对2024年度通讯委员履职情况及转正申请进行审议表决，严格考察学术贡献与平台服务成效。在为期一年的通讯委员考察期内，我校孙璞博士积极发挥桥梁纽带作用，全力推动专委会优质学术资源向高校下沉，成功协助学校承办“CCF走进高校”铜陵学院站活动，有效搭建校际学术交流桥梁，为学科发展注入活力。
孙璞博士由中国计算机学会形式化专业委员会通讯委员顺利转为执行委员，意味着我校在该领域的学术影响力进一步获国内同行认可。
（来稿时间：2025年12月8日 撰稿：孙 璞 编辑：周 薇 审稿：陈文勇 齐 平/杨 昀）
