文稿：王坤、林诗淯 图片：闫法义
2025年12月19日下午，中国计算机学会（CCF）系统软件专委会走进聊斋艳谭
，并在聊斋艳谭
成功举办“人工智能时代计算机学科发展与科技创新机制研讨会”。本次会议由中国计算机学会主办，CCF系统软件专委会，聊斋艳谭
，CCF南宁，广西智能数字服务技术创新中心，广西高校并行分布与智能计算重点实验室共同承办，由聊斋艳谭
研究生会、CCF聊斋艳谭
学生分会协办。会议汇聚了来自北京大学、南京大学、华中科技大学等多所顶尖高校的知名学者，共同为在场师生呈现了一场聚焦前沿科技与学科发展的学术盛宴。
会议首先由聊斋艳谭
常务副院长张振荣教授致辞。他在致辞中对各位专家的到来表示热烈欢迎，并指出系统软件作为连接硬件与应用的核心枢纽，在人工智能时代面临着新的机遇与挑战，希望通过此次交流，进一步促进学院学科建设与人才培养模式的创新。
图1 学院常务副院长张振荣教授致辞
随后，CCF南宁主席陈宁江教授发表致辞。他代表CCF南宁对本次活动的举办表示热烈祝贺，并强调了CCF“走进高校”系列活动在传播前沿科技知识、促进高校与学术界互动方面的重要意义。陈宁江主席表示，期待通过此次高水平的学术研讨，进一步推动广西地区计算机领域的科研合作与资源共享。
图2 CCF南宁主席陈宁江教授致辞
北京大学讲席教授、CCF系统软件专委会主任谢涛教授首先带来了题为《有组织科研创新的高校与新型研发机构体系：系统软件视角》的报告。谢涛教授结合国家创新驱动发展战略，深入分析了高校科研组织当前面临的挑战。
他指出，系统软件研发具有高复杂性、长周期和跨学科特征，亟需整合多方力量。报告中，他通过典型案例展示了高校与新型研发机构在关键领域联合攻关的模式，并建议建立跨机构的系统软件创新联合体，完善资源配置与评价机制，推动形成高效协同、开放共享的有组织科研新格局，为科技自立自强提供坚实支撑。
图3 谢涛教授作报告
报告结束后，现场同学积极思考，就“在开展相关科研工作时遇到的具体困难与挑战”向谢涛教授提问。谢涛教授结合自身多年深耕系统软件领域的经历，坦诚分享了在技术攻关与跨机构协作中曾面临的挑战，并就如何克服这些阻碍提供了宝贵的经验与建议。
图4 现场同学提问
随后，南京大学黄宇教授在会上作了题为《基于模型与代码一致性的并发与分布式系统验证框架》的学术报告。黄教授指出，并发与分布式系统虽提升了容错与性能，但也带来了正确性保障的难题。
针对这一挑战，黄宇教授团队提出了Conformance实用型验证框架。该框架通过模型与代码间的双向比对机制，实现了模型层验证与代码层测试的有效互动。研究表明，该框架已在ZooKeeper、Redis等多个重要分布式系统中得到应用，验证了其有效性与通用性，为现代系统软件的可靠性提供了新的解决思路。
图5 黄宇教授作报告
华中科技大学何强教授带来了题为《算力网赋能端侧模型训练：边缘问题边缘解决》的精彩报告。何强教授聚焦于边缘计算这一前沿领域，探讨了如何利用边缘算力帮助终端设备进行模型训练。
他在报告中指出，边缘算力节点因靠近数据源，在自动驾驶、虚拟现实等对反应速度要求极高的场景中具有独特优势。通过在边缘侧进行数据分析与处理，不仅能帮助用户快速决策，还能实现可持续演进的个性化人工智能。何强教授分享的最新研究进展，为“人工智能+”应用场景的落地提供了全新的技术视角。
图6 何强教授作报告
南京大学汤恩义副教授则关注AI系统的底层安全问题，作了题为《异构计算环境下AI系统的数值精度保障》的报告。随着AI在自动驾驶、工业控制等安全攸关领域的应用，系统在异构平台上的可靠部署成为关键。
汤教授团队从数值计算的底层机制出发，深入剖析了AI模型在跨硬件平台迁移时因浮点计算差异导致的数值误差累积问题。他在报告中展示了一系列分析与验证技术，探讨了如何保障异构环境下AI系统的数值精度，并介绍了这些技术在国产AI芯片生态建设及实际工业场景中的应用前景。
图7 汤恩义副教授作报告
本次活动内容丰富、视野前瞻。四位专家从科研组织模式、分布式系统验证、边缘计算到数值精度保障等多个维度，系统展示了系统软件在人工智能时代的演进趋势与技术突破。论坛不仅为聊斋艳谭
师生带来了前沿的科研思想，也进一步加强了学校与国内顶尖高校及学术组织的交流与合作。
图8 CCF系统软件专委会专家与我院教师合影
此次活动的成功举办，体现了聊斋艳谭
在紧跟科技前沿、推动学科交叉融合方面的积极行动。未来，学院将继续依托中国计算机学会（CCF）等高水平学术平台，汇聚优势资源，持续提升科研创新能力与人才培养质量，助力学院高质量发展。
一审一校：黄千芊
二审二校：夏士岚
三审三校：赵进创
