2026年3月9日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与华侨大学承办的“CCF走进高校”系列学术活动在华侨大学（厦门校区）王源兴国际会议中心成功举办。
本次活动邀请了西北工业大学的周兴社教授、董云卫教授、西南大学的刘志明教授、以及同济大学的刘关俊教授进行专题报告和交流活动。华侨大学副校长缑锦教授、manbetx官网院长田晖教授、副院长彭佳林教授、副院长叶剑虹博士、以及学院师生共计50余人参加本次活动。本次活动的开幕和专题报告环节分别由manbetx官网田晖教授和骆翔宇教授主持。
华侨大学副校长缑锦教授首先代表学校致辞，向远道而来的各位专家学者表示热烈的欢迎，并向主办方中国计算机学会以及承办本次活动的CCF形式化方法专委会致以诚挚的感谢。缑校长指出，在当前以大语言模型为代表的人工智能技术爆发式发展的时代，计算机学科不仅是基础的工程学科，更是支撑引领学校乃至国家科技创新的核心力量，在此背景下传统的教育理念、软件开发模式等正面临着前所未有的巨大变革与挑战。
随后，同济大学的刘关俊教授详细介绍了CCF的学术使命与会员权益，鼓励大家利用CCF遍布全国的服务网络和数字图书馆等丰富资源，积极融入CCF这一学术共同体。
在专题报告环节，西北工业大学的周兴社教授以“生成式AI演化及其赋能与重构专业教育几点认识”为题做了首场报告。他在回顾生成式AI能力演化特征的基础上，重点论述了其对高等教育赋能的直接、深度及宏观等多维度影响，并就数智时代如何重构计算机类专业教育的教学内容与模式、实现人智高效协同提出了深刻见解。
西南大学的刘志明教授以“从逻辑经图灵机到人机物融合系统——兼谈人工智能的能力边界”为题做了第二场报告。他探讨了从逻辑、计算模型到当前人机物融合的发展过程，重申数学逻辑是计算机科学的自然基础，并结合哥德尔不完备性定理，深入探讨了逻辑表达相对于人类直觉的不可完备性，剖析了人工智能的能力边界。
西北工业大学的董云卫教授作了题为“大语言模型对软件工程带来的挑战”的最后一场报告。他详细阐述了生成式神经元网络技术的快速发展对传统软件开发模式带来的巨大冲击，重点介绍了基于深度学习的软件智能化开发方法的内涵与技术思想，并探讨了智能软件工程教育面临的技术挑战与未来趋势。
专题报告结束后，与会专家与华侨大学教师展开了热烈的座谈交流，重点围绕国家自然科学基金项目申请书的撰写、软件工程学科的学术研究、学科建设、专业教育等议题进行了富有成效的咨询、探讨和交流。
本次“CCF走进高校”活动的成功举办，不仅是一次前沿学术思想的精彩碰撞，更对manbetx官网在智能化时代的稳健发展具有深远意义。四位形式化方法与软件工程领域专家的深刻洞见，精准把握了大语言模型等生成式AI技术对传统软件工程学科带来的冲击与机遇。这不仅将有力推动manbetx官网在智能软件工程、可信计算等前沿领域的学术研究与学科建设迈向新台阶；更为我们在新一轮科技变革中如何顺应时代需求、重构软件工程专业教育体系、探索智能化时代高素质软件工程人才培养的新模式提供了宝贵的战略指导。未来，学院将以此为契机，进一步深化与学术界的交流合作，全面提升manbetx官网软件工程学科的综合实力与育人水平。
编辑：颜郁澎
复审：田 晖
终审：陈荣美
