7月11日，由中国计算机学会（CCF）主办、CCF形式化方法专业委员会与我校联合承办的“CCF走进高校”学术活动，在我校井冈山校区顺利举行。CCF形式化方法专委会主任詹乃军教授、秘书长吴志林教授莅临指导，上海交通大学曹钦翔副教授、北京大学孙猛教授、同济大学刘关俊教授、中科院软件所宋富研究员四位专家应邀作专题讲座。学校副校长、井冈山校区党工委书记、管委会主任徐光井教授，软件工程学院副院长程道雷、党总支副书记袁昕及全校四十余名师生代表参与本次活动。

徐副校长在致辞中介绍了我校办学特色与数字人才培养布局。他指出，学校作为全国首批本科层次职业大学，聚焦数字经济，重点布局软件技术、人工智能、区块链等核心专业，积极推动AI与教育教学深度融合，依托先锋软件集团积极布局数字人才生态建设，探索建设数字游民社区这一创新载体，致力打造数字人才创新创业平台，赋能区域数字经济发展。

詹乃军教授介绍了形式化方法领域的国内外前沿研究现状。他表示，本次活动旨在推动形式化方法成果落地转化，探索与人工智能深度融合的创新路径，并对我校精心搭建学术交流平台表示感谢。

活动现场，专家们围绕程序验证、AI编程、智能体强化学习、声纹安全等前沿方向作专题报告，并与现场师生展开互动研讨，帮助师生了解形式化方法与人工智能交叉领域的前沿动态，拓宽学术视野。

本次“CCF走进高校——江西软件职业技术大学站”专场活动，既拓宽了师生学术视野，也为学校后续与CCF专家团队在科研协作、联合人才培养等方面深化合作奠定了坚实基础。