CCF@U第1280场：CCF形式化方法专委走进内蒙古大学
6月27日下午，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会和内蒙古大学计算机学院（软件学院）联合承办的“CCF走进高校（CCF@U第1280场）”活动在内蒙古大学举行。
本次活动邀请了中国科学院软件研究所宋富研究员、华东师范大学软件工程学院李钦副教授、浙江大学区块链与数据安全全国重点实验室袁胜浩研究员、中国科学院软件研究所吴志林研究员进行了主题报告。内蒙古大学副校长周建涛、内蒙古大学计算机学院（软件学院）副院长孙涛和计算机学院（软件学院）师生共计40余人参与本次活动。报告由内蒙古大学计算机学院副院长孙涛主持。
周建涛副校长代表学校致辞，对CCF形式化方法专委学者的到来表示热烈欢迎，并简要介绍了学校的基本情况、内蒙古大学计算机学院（软件学院）在形式化方法方向的研究历史以及CCF走进高校活动的深远意义。
吴志林秘书长对CCF走进高校活动进行了简要介绍，并对内蒙古大学30多年坚持形式化方法的研究表示钦佩，对内蒙古大学计算机学院承办活动表示感谢。
宋富研究员以“密码的形式化验证之路：从算法安全到实现安全”为题，简要介绍了密码在算法和软硬件实现层面临的安全威胁，以及课题组近年来在密码算法安全、密码软硬件实现侧信道（时间、功耗、缓存）与故障注入安全的形式化验证方面取得的研究进展。
李钦副教授以“形式化方法赋能的可信大模型研究”为主题，聚焦形式化方法与大模型技术的交叉融合作了学术报告。并介绍了课题组近期在该研究领域的一些进展，如构建基于形式化定义的可信评测体系、基于形式化验证的大模型生成结果正确性验证框架等。
袁胜浩研究员以“面向Solana区块链eBPF指令集的完整形式语义研究”为主题，介绍了其团队首次为Solana区块链平台智能合约中使用的eBPF字节码语言提出的形式语义及语义验证框架，并展示了该语义模型在Solana eBPF虚拟机核心组件形式化中的潜在应用价值。
吴志林研究员以“定理证明自动化：历史、现状、与未来”为主题，梳理了定理证明自动化发展脉络，分析了当前定理证明的技术现状，为未来研究提供了清晰视角。
本次CCF形式化方法专委走-进内蒙古大学专场活动，为同学们带来了创新思维视角，拓宽了同学们的学术视野，激发了同学们对形式化方法的浓厚兴趣。
推荐内容
More >>>- · 首届CCF中国计算艺术大会（CCAC 2025）报名开
- · 多模态数据融合技术创新与落地实战丨CCF C?-3
- · 【CCD2025导教班火热报名中！】智能时代以能
- · 第三届CCF智能汽车学术年会（CIVS 2025）报名
- · NLPCC 2025 Tutorial主题及讲者揭晓
- · 报名进行中！CIVS 2025——自动驾驶论坛
- · 边缘有为，智启新域 —— 探索边缘智能服务与
- · 申报通道开启！2025“CCF企业数字化发展优秀
- · 第三届CCF智能汽车学术年会（CIVS 2025）报名
- · 大会日程确认，第40届中国计算机应用大会将在
- · 12项咨询：CCF科技咨询委员会服务科技创新?
京公网安备 11010802032778号