2026年9月18日，“CCF形式化方法专委走进高校——贵州大学站”活动在贵州大学博学楼13楼报告厅成功举办。本次活动由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与贵州大学计算机科学与技术学院（贵州保密学院）共同承办，出席活动的特邀专家有西南大学刘志明教授、中国科学院软件研究所吴志林研究员、华东师范大学李钦教授与南京大学时清凯副教授，学院党委书记龙慧云、副院长黄瑞章出席了活动，此次活动由学院王以松教授主持。

龙慧云代表学院向各位专家的到来表示热烈欢迎，并指出高水平学术活动对学院学科建设和人才培养的重要意义。

吴志林介绍了CCF的发展概况、组织体系及学会所倡导的学术文化与价值理念。

报告环节，四位特邀专家围绕人工智能时代的软件工程前沿问题作专题报告。刘志明聚焦可信软件与系统，探讨人工智能时代可信软件研究的新问题、新方向与新机遇；李钦围绕神经符号协同与智能化软件工程质量保障，分享大模型背景下软件质量保障的新思路与最新进展；时清凯结合网络协议软件栈测试实践，介绍突破测试语言困境的探索路径；吴志林聚焦RISC-V处理器设计形式化验证，分享模型检测、指令集一致性验证及算术电路验证等方面的研究成果。

本次活动为学院师生搭建了与国内优秀学者面对面交流的平台，学院将依托“CCF走进高校”等高水平学术交流平台，深化与国内优秀科研团队的交流合作，为学院人才培养与科研创新工作持续注入新动力。

一审：李健辉

二审：何  飞

三审：龙慧云