CCF@U第1393场:CCF形式化方法专委走进华侨大学

2026-03-18

2026年3月9日,CCF走进高校活动在华侨大学(厦门校区)举办。

活动邀请CCF会士、西北工业大学周兴社教授,CCF杰出会员、西北工业大学董云卫教授,CCF杰出会员、西南大学刘志明教授和CCF高级会员、同济大学刘关俊教授进行专题报告和交流活动。华侨大学计算机科学与技术学院师生参加活动。

华侨大学副校长缑锦教授首先代表学校对CCF专家学者的到来表示热烈欢迎,并对CCF的大力支持表示衷心感谢。随后,刘关俊代表学会详细介绍了CCF的学术使命与会员权益,鼓励大家通过CCF遍布全国的服务网络和数字图书馆等丰富资源,积极融入CCF这一学术共同体。

1393-2

在专题报告环节,周兴社以“生成式AI演化及其赋能与重构专业教育几点认识”为题做了首场报告。他在回顾生成式AI能力演化特征的基础上,重点论述了其对高等教育赋能的直接、深度及宏观等多维度影响,并就数智时代如何重构计算机类专业教育的教学内容与模式、实现人智高效协同提出了深刻见解;刘志明以“从逻辑经图灵机到人机物融合系统——兼谈人工智能的能力边界”为题做了第二场报告。他探讨了从逻辑、计算模型到当前人机物融合的发展过程,重申数学逻辑是计算机科学的自然基础,并结合哥德尔不完备性定理,深入探讨了逻辑表达相对于人类直觉的不可完备性,剖析了人工智能的能力边界;董云卫作了题为“大语言模型对软件工程带来的挑战”的最后一场报告。他详细阐述了生成式神经元网络技术的快速发展对传统软件开发模式带来的巨大冲击,重点介绍了基于深度学习的软件智能化开发方法的内涵与技术思想,并探讨了智能软件工程教育面临的技术挑战与未来趋势。

1393-3

1393-4

1393-5

专题报告结束后,与会专家与华侨大学师生展开了热烈的座谈交流,重点围绕国家自然科学基金项目申请书的撰写、学术研究、学科建设、专业教育等议题进行了富有成效的咨询、探讨和交流。本次活动的举办,不仅为该校师生带来了前沿的学术视野,激发了他们对相关领域的科研兴趣,也为华侨大学与CCF在未来的科研合作、人才培养与技术转化方面奠定了坚实基础。

1393-1