CCF形式化方法专业委员会走进浙江理工大学

6月5日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会、浙江理工大学计算机科学与技术学院（人工智能学院）承办的“CCF走进高校——浙江理工大学”学术活动在下沙校区2号楼致远厅成功举行。

活动伊始，学院副院长林望教授代表学校对各位专家的到来表示热烈欢迎，并依次介绍了与会领导、专家及计算机学院的基本情况。他希望以本次“CCF走进高校”活动为契机，进一步加强浙江理工大学与CCF形式化方法专业委员会及相关高校、科研院所之间的学术交流与合作，推动形式化方法、可信人工智能和软件工程等方向的交叉融合与高质量发展。

随后，形式化方法专业委员会副主任、华东师范大学研究生院副院长张民教授围绕CCF及其文化精神进行了分享。张民重点介绍了CCF的发展历程、组织特色、会员服务体系以及“CCF走进高校”活动的宗旨，并结合形式化方法专委会的发展历程与未来方向，分享了专委会在推动学术交流、服务青年学者成长和促进学科发展方面的重要作用。

专题报告环节中，中国科学院软件研究所研究员宋富、北京大学教授孙猛、同济大学研究员张苗苗、中国科学院软件研究所特别研究员张昕荻、华东师范大学研究员王培新、南京大学副教授冯洋、北京邮电大学教授王祎等专家，围绕人工智能安全、形式化方法、实时系统学习、SAT求解、智能系统安全验证、大模型程序分析及不可验证场景等前沿主题分享了最新研究成果。报告内容既探讨了声纹安全与隐私保护、人工智能与形式化方法融合、实时系统建模与验证等基础前沿问题，也聚焦并行SAT求解、智能系统安全验证、Rust软件工程支撑技术及大模型不可验证场景等实际应用挑战。各位专家从理论方法、关键技术到典型应用进行了系统而深入的讲解，生动展现了形式化方法与人工智能、软件工程、安全验证等方向交叉融合的广阔前景。

在交流环节中，现场师生反响热烈，围绕大模型推理的可信性、智能系统黑盒验证、声纹数据隐私保护以及形式化方法在实际工程中的适用边界等问题，与专家们展开了深入讨论。专家们结合自身研究经验，给予了细致而富有启发性的回应，进一步激发了在场师生对可信人工智能与形式化方法研究的浓厚兴趣。

会前，学院学术院长陈铭松会见了与会专家，介绍了学院的学科布局、科研发展及人才培养情况，并希望以本次学术交流为契机，深化校际合作与交流，助推学院各项事业实现高质量发展。

据悉，中国计算机学会（CCF）作为我国计算机领域具有重要影响力的学术共同体，始终坚持“学术共同体、平台、非营利组织”的基本定位，秉承“责任、创新、奉献”的学会精神。本次活动内容紧扣人工智能时代软件系统可信保障这一核心问题，与会专家与师生围绕形式化方法在人工智能系统、安全关键系统及软件工程实践中的应用，展开了充分而深入的交流，有效拓宽了师生的学术视野，激发了科研思考与合作兴趣。本次“CCF走进高校——浙江理工大学”活动的成功举办，进一步增进了CCF形式化方法专业委员会与浙江理工大学之间的联系，对推动学校相关学科建设、人才培养及学术交流合作具有积极意义。