CCF走进高校——江西软件职业技术大学站！

7月11日，“CCF走进高校——江西软件职业技术大学站”高端学术交流活动在我校井冈山校区顺利举办。本次活动由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与江西软件职业技术大学联合承办，聚焦形式化方法、可信人工智能、软件验证、网络安全等计算机领域前沿交叉方向，搭建起行业顶尖专家与在校师生面对面交流、点对点研学的优质学术互通平台。学校副校长、井冈山校区党工委书记、管委会主任徐光井，CCF形式化方法专业委员会主任、北京大学教授詹乃军等领导专家出席活动。

徐光井在致辞中介绍，江西软件职业技术大学作为全国首批本科层次职业大学，紧密围绕数字经济发展需求，重点布局软件技术、人工智能、区块链等专业领域，推动教育链、人才链与产业链深度融合。面对人工智能带来的变革，学校积极推进AI与教育教学全过程融合，创新教学与管理模式；加强AI实训平台建设和校企协同创新，通过真实项目实践提升学生应用能力。同时，学校和先锋软件集团积极布局数字人才生态建设，探索建设数字游民社区这一创新载体；目前井冈山两大数字游民社区稳定运营，南昌社区也在同步落地建设。未来，学校将持续完善数字人才生态体系，吸引更多优秀技术人才、创新团队和创业项目汇聚，打造青年数字人才创新创业的新平台，为数字经济发展贡献更多力量。

詹乃军向与会嘉宾详细介绍了国内形式化方法研究的最新发展现状。他表示，本次莅临江西软件职业技术大学开展交流，核心目的在于推动形式化方法研究成果落地应用与转化创新，立足产业实际应用场景提炼核心科学问题，积极探索形式化方法与人工智能技术深度融合的有效路径，着力破解技术可扩展性发展瓶颈。同时，他对学校搭建本次学术交流平台、提供宝贵的研讨机会表示感谢。随后，上海交通大学博士生导师曹钦翔、北京大学博士生导师孙猛、同济大学博士生导师刘关俊、中国科学院软件研究所博士生导师宋富分别作专题报告。

据了解，中国计算机学会（CCF）成立于1962年，是我国计算机领域历史底蕴深厚、行业影响力深远、学术权威性突出的全国性学术团体。其核心品牌活动“CCF走进高校”深耕校园学术建设领域多年，持续汇聚国内顶尖学术资源与行业优质力量，邀请权威专家走进全国各大高校，通过专题报告、学术研讨、科研咨询等多元化形式，打通前沿学术理论、高校教学科研与产业实践的壁垒，有效助力高校学科建设提质升级、师生学术素养提升，推动产学研深度融合、协同发展。

未来，学校将持续深化与CCF的常态化务实合作，持续深耕产教融合、科教融汇，厚植创新创业培育沃土，始终以开放包容的姿态汇聚行业前沿智慧，以求真务实的举措推动数字技术落地应用，全力培育高素质数字技术人才，助力数字产业高质量发展，共绘数字经济创新发展崭新篇章。