夜雨聆风
为推动计算机与软件工程领域发展，搭建高水平交流平台，武汉大学金芝教授特发起珞珈软件论坛。论坛聚焦学科前沿与领域突出需求，邀请国内外优秀学者齐聚珞珈，分享最新研究成果与技术突破。通过专题报告与深度研讨，促进跨校跨地域学术碰撞，助力领域研究人员成长，为学科创新发展注入新活力。
第九期
本期有两位报告嘉宾，分别是来自中国科学院软件研究所的张健研究员与北京大学的刘譞哲教授，将围绕软件工程领域的前沿问题展开分享交流，敬请期待！
报告一：程序分析--从形式化到智能化
主讲人简介
张健，中国科学院软件研究所研究员，中国科学院大学岗位教授，博士生导师。主要研究方向包括：软件测试与分析、自动推理、约束求解等。曾主持国家杰出青年科学基金、国家973计划等项目。曾获中创软件人才奖、国务院政府特殊津贴。目前担任《计算机学报》，Journal of Computer Science and Technology, Frontiers of Computer Science,《计算机科学与探索》编委。
报告摘要
程序分析是保障软件质量的有效手段之一。本报告将介绍程序静态分析的若干技术，特别是基于符号执行和约束求解的形式化分析技术。同时，报告嘉宾将分享在该方向所做的一些科研工作，包括对C/C++程序路径的精确分析，大模型赋能的静态分析，以及非线性约束、字符串约束的求解算法。
主讲人简介
刘譞哲，北京大学博雅特聘教授，北京大学软件研究所所长，北京大学-字节跳动豆包大模型系统软件联合实验室主任，ACM杰出科学家。主持国家杰出青年科学基金项目在内的20余项科研项目。长期从事系统软件、人工智能、服务计算方面的研究工作。在SOSP、OSDI、NSDI、SIGCOMM、WWW等发表CCF A类论文100余篇，获WWW2019最佳论文奖、TSC 2024 最佳论文奖、《中国科学·信息科学》10年持续影响力论文奖等10余次国际期刊/会议优秀论文荣誉，曾获国家技术发明一等奖，并以第一完成人获中国电子学会技术发明一等奖和教育部“青年科学奖”，CCF-IEEE CS“青年科学家奖”、北京市青年教学名师等奖励；任IEEE TMC、ACM TIST、《中国科学·信息科学》等期刊编委，IEEE ICWS/CLOUD/EDGE等国际会议的程序委员会主席。
报告摘要
大模型及其应用（如Agent）的训练和推理需要消耗大量计算、网络和存储资源，高效率高质量的资源管理和任务调度，是人工智能基础设施（AI Infra）系统的重要研究挑战。本次报告将介绍北京大学团队在大规模训练和推理的大模型系统方面的近期工作，包括基于新型分离式软件体系结构的大规模异构资源管理系统设计原理和关键技术，优化稠密模型、MoE模型、多模态模型的训练和推理，并对AI Infra系统软件的未来发展进行展望。
论坛安排
报告时间:
2026年5月22日14:00
报告地点：
计算机学院B404会议室
