2025年11月29日，为营造浓厚学术氛围、拓展师生学术视野，由中国计算机学会（CCF）主办，CCF服务计算专委会与软件工程专委会协办的“CCF走进高校”系列活动在华中师范大学南湖校区综合楼N119报告厅隆重举行。本次论坛议题聚焦大模型系统、软件工程智能化及区块链安全等前沿领域，特邀北京大学刘譞哲教授、浙江大学夏鑫教授以及河海大学张鹏程教授三位知名学者齐聚南湖，围绕底层系统架构、上层工程方法及安全技术展开深度分享，为全校师生带来了一场思想激荡的学术盛宴。

活动现场气氛热烈，学术氛围浓厚。华中师范大学计算机学院副院长崔建群教授、马于涛教授团队以及百余名师生代表共同参与了本次活动。

活动伊始，计算机学院副院长崔建群教授主持开幕式。崔院长首先代表学院对各位专家学者的到来表示热烈欢迎，并向在场师生隆重介绍了参会嘉宾。她表示，此次“CCF进校园”活动是学院加强对外学术交流的重要契机，也是连接学术前沿与校园科研的桥梁，希望同学们能珍惜与顶尖学者面对面交流的机会，汲取科研灵感，共探智能未来。

首场报告由北京大学软件研究所所长、ACM杰出科学家刘譞哲教授带来，题为《分离式大模型系统原理与技术》。针对当前大模型参数规模急剧增长背景下，训练和推理过程面临的算力、网络及存储资源巨大消耗问题，刘教授进行了深入浅出的剖析。

报告中，他重点解析了北大团队基于新型分离式软件体系结构的系统设计原理，分享了团队在优化稠密模型、MoE模型及多模态模型训练与推理方面的关键技术突破。刘教授的报告从底层系统架构维度出发，展示了如何通过系统级创新破解大模型资源瓶颈，为在场师生理解大模型的高效支撑技术提供了全新视角。

随后的学术报告环节由我院张能副教授主持。张能老师简要介绍了接下来的两位主讲嘉宾——浙江大学夏鑫教授与河海大学张鹏程教授，并对他们的到来表示诚挚的感谢。

浙江大学求是特聘教授、ACM/CCF杰出会员夏鑫教授带来了题为《大模型下的软件工程：机遇与挑战》的精彩报告。夏教授围绕大模型对研发效能的显著提升及其现实局限进行了辩证剖析。他指出，大模型正在推动软件工程从传统的“指令式”向“意图驱动”转型，并结合团队在AI赋能软件工程（AI4SE）领域的初步探索，探讨了如何突破当前技术困境，展望了软件工程在智能时代的演进蓝图。

紧接着，河海大学计算机与软件学院副院长张鹏程教授以《智能合约安全技术漫谈》为题进行了分享。作为区块链的核心基础设施，智能合约的安全性是构建可信数字生态的基石。张教授围绕漏洞检测、漏洞注入与代码混淆三大前沿方向，深入比较了传统规则驱动与基于学习的自动化方法，揭示了各项技术在跨链场景下的联系与互补性，为筑牢智能合约安全防线提供了系统的技术思路。

论坛设有互动交流环节，现场同学们热情高涨，纷纷就大模型幻觉、智能合约漏洞检测的具体实现细节以及研究生科研选题等问题踊跃提问。三位专家耐心细致地解答了同学们的疑惑，并鼓励大家在科研道路上勇于探索，敢于创新。现场问答互动频繁，掌声不断。

活动最后，全体参会嘉宾与现场师生合影留念，定格了这一充满智慧碰撞的美好时刻。本次“CCF进校园”活动全面呈现了智能时代计算技术的澎湃动力与发展蓝图，不仅为我校师生提供了一个与国内顶尖学者近距离交流的平台，更进一步活跃了学院的学术氛围。大家纷纷表示受益匪浅，对大模型时代的机遇与挑战以及区块链安全有了更深刻的认识。

主办单位： 中国计算机学会 (CCF)

承办单位： 华中师范大学计算机学院

协办单位： CCF服务计算专业委员会、CCF软件工程专业委员会