（信息来源：“CCF形式化方法专委走进湖北民族大学”会议 图片来源：孙雯 编辑：王清龙 周雄 作者：孙雯 审核：向会立）
6月6日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会和湖北民族大学数学与统计学院联合承办的“CCF走进高校（CCF@U第1266场）”活动在湖北民族大学顺利举行。
本次活动邀请了国防科技大学董威教授、西北工业大学董云卫教授、华东师范大学陈仪香教授、中国科学院软件研究所吴志林研究员作主题报告。湖北民族大学副校长刘伦志、湖北民族大学数学与统计学院党总支书记魏代俊和数统学院师生共计100余人参与本次活动。报告由湖北民族大学数学与统计学院党总支副书记、院长唐利明主持。
会议开始，刘伦志副校长代表学校对CCF形式化方法专委学者的到来表示热烈欢迎，并简要介绍了学校的基本情况以及CCF走进高校活动的深远意义。
吴志林研究员强调在人工智能领域大模型迅猛发展的今天，形式化方法作为确保系统可靠性的核心理论工具，其战略价值愈发凸显。同时也对CCF形式化方法专委的发展历史及其与湖北民族大学的合作历史进行简单介绍。
董威教授以《智能化与形式化共促人机物融合软件自动生成》为题，对人机物融合系统的发展及相关软件自动生成方法进行了简要回顾，然后介绍了课题组近来将人工智能与形式化方法结合，共同促进HCPS软件自动生成能力的一些工作，并对未来发展进行了探讨。
董云卫教授围绕“智能化软件漏洞检测”展开报告，介绍如何利用大语言模型LLM技术，对已有软件缺陷数据进行学习，智能地发现软件代码中影响软件安全性的行为和特征，帮助软件分析人员发现软件漏洞和改善软件质量。
陈仪香教授以“大语言模型的数学计算与逻辑推理”为主题，揭示了通过对典型大语言模型DeepSeek的数学计算和逻辑推理测试，可以窥视到大语言模型的天生基因缺陷，为大语言模型的提升以及可信人工智能的研究提供学术参考。
最后，吴志林研究员以《定理证明自动化：历史、现状、与未来》为题，梳理了定理证明自动化发展脉络，分析了当前定理证明的技术现状，为未来研究提供了清晰视角。同时，他强调形式化方法在各安全攸关领域都有着不可或缺的重要作用，呼吁青年学者深化形式化验证理论学习。
本次CCF形式化方法专委走进湖北民族大学的活动气氛热烈、专家与听众互动充分，通过专家学者与湖北民族大学数学与统计学院师生的直接对话，为我院师生带来了创新思维视角，拓宽了他们的学术视野，激发了他们对形式化方法的浓厚兴趣。