第四十二期 Agent服务落地的核心挑战与技术路径

2026年7月31日-8月2日

会议日程

7月31日（周五）上午

专题1：大模型时代的软件工程范式变革

时间	内容
08:30-08:40	开幕式
	致辞：金芝 北京大学/武汉大学 秀湖会议AC主席
08:40-09:20	特邀报告1：可信代码智能体：代码—证据协同生成与异构对齐
	特邀嘉宾：王戟 国防科技大学 教授
09:20-10:00	特邀报告2：软件视角下的驾驭AI之道：认识与思考
	特邀嘉宾：李宣东 南京大学 教授
10:00-10:30	茶歇、合影
10:30-11:10	特邀报告3：人机协同的软件开发：一种多智能体范式
10:20-10:40	特邀嘉宾：金芝 北京大学/武汉大学 教授
11:10-11:50	特邀报告4：组织级智能化软件工程实践与思考
	特邀嘉宾：王利杰 华为可信软件工程与开源实验室主任
11:50-12:30	Panel：可信代码智能体：技术演进之下，软件工程教育何去何从
	嘉宾：王戟、李宣东、金芝、王利杰，主持：李戈

7月31日（周五）下午

专题2：大模型辅助的程序合成与分析

时间	内容
14:00-14:15	观点报告1：面向人机物融合的智能化软件的一些思考
	发言嘉宾：马晓星 南京大学 教授
14:15-14:30	观点报告2：复杂系统视角下的软件智能化开发机遇与挑战
	发言嘉宾：彭鑫 复旦大学 教授
14:30-14:45	观点报告3：可信代码生成的最后一公里：从能力跃迁到可信闭环
	发言嘉宾：谢晓园 武汉大学 教授
14:45-15:00	观点报告4：大模型智能体驱动的芯片验证
	发言嘉宾：陈俊洁 天津大学 教授
15:00-15:45	Panel：能力无限逼近人类的代码智能体，可信边界在哪里？
	嘉宾：马晓星、彭鑫、谢晓园、陈俊洁，主持人：夏鑫
15:45-16:05	茶歇
16:05-17:30	分组研讨

8月1日（周六）上午

专题3：人机协同的可信开发与验证

时间	内容
09:00-09:15	观点报告5：大语言模型是否已掌握程序语义？
	发言嘉宾：张路 北京大学 教授
09:15-09:30	观点报告6：安全攸关软件的智能化开发探索
	发言嘉宾：胡春明 北京航空航天大学 教授
09:30-09:45	观点报告7：人机协同的可信开发范式
	发言嘉宾：魏峻 中国科学院软件研究所 研究员
09:45-10:00	观点报告8：LLM生成代码的正确性验证：剑走偏锋 OR 直面挑战
	发言嘉宾：刘辉 北京理工大学 教授
10:00-10:15	观点报告9：智能体训练新基建：代码运行环境自动构建体系与实践
	发言嘉宾：车万翔 哈尔滨工业大学 教授
10:15-10:30	观点报告10：可信代码生成——为什么Agent这么重要
	发言嘉宾：李戈 北京大学 教授
10:30-10:50	茶歇
10:50-12:30	分组研讨

8月1日（周六）下午

专题4：可信智能体的应用与产业实践

时间	内容
14:00-14:45	Panel：大模型时代的软件开发者角色重塑：替代、增强还是协同进化？
	嘉宾：张路、刘辉、胡小龙、陈尚义，主持：卢帅
14:45-15:30	Panel：低门槛 AI 编程普及后，未来软件工程人才核心竞争力是什么？
	嘉宾：胡春明、魏峻、车万翔、张燚钧，主持：高翠芸
15:30-15:50	茶歇
15:50-18:30	户外交流

8月2日（周日）上午

专题5：人机融合软件开发环境

时间	内容
09:00-09:15	观点报告11：华为AI Coding实践与挑战
	发言嘉宾：潘瑞琪 华为 软件工程应用技术实验室主任
09:15-09:30	观点报告12：规约驱动的性质测试：面向代码生成智能体的多层可信验证路径
	发言嘉宾：苏亭 华东师范大学 教授
09:30-09:45	观点报告13：长时运行视角下可信代码生成的评估挑战
	发言嘉宾：张克驰 腾讯 专家
09:45-10:00	观点报告14：AI Coding是否解决了本质复杂度？
	发言嘉宾：夏鑫 浙江大学 教授
10:00-10:15	观点报告15：暗知识驱动的可信代码智能体构建
	发言嘉宾：石琳 北京航空航天大学 教授
10:15-10:30	观点报告16：智能体驱动的软件开发与评测探索
	发言嘉宾：高翠芸 哈尔滨工业大学（深圳） 教授
10:30-10:50	茶歇
10:50-12:30	分组研讨

8月2日（周日）下午

专题6：可信代码生成智能体的未来与挑战

时间	内容
14:00-15:30	集中研讨
15:30-16:00	会议总结

特邀嘉宾（按姓名拼音排序）

金　芝	北京大学/武汉大学	教授
李宣东	南京大学	教授
王　戟	国防科技大学	教授
王利杰	华为	可信软件工程与开源实验室主任

参会嘉宾（按姓名拼音排序）

车万翔	哈尔滨工业大学	教授
陈俊洁	天津大学	教授
陈尚义	百度	教授级高工
胡春明	北京航空航天大学	教授
胡小龙	新华三	专家
刘　辉	北京理工大学	教授
卢　帅	京东	高级算法专家
潘瑞琪	华为	实验室主任
彭　鑫	复旦大学	教授
石　琳	北京航空航天大学	教授
苏　亭	华东师范大学	教授
魏　峻	中国科学院软件研究所	研究员
谢晓园	武汉大学	教授
张克驰	腾讯	专家
张　路	北京大学	教授
张燚钧	中国移动苏州研究院	高级工程师

会议执行主席

李　戈

北京大学

教授

会议联合主席

夏　鑫	浙江大学	教授
高翠芸	哈尔滨工业大学（深圳）	教授

秀湖会议AC主席

金　芝

北京大学/武汉大学

教授

秀湖会议AC委员

马晓星	南京大学	教授
彭　鑫	复旦大学	教授

列席人员

刘　逵	华为	专家
刘佳奇	华为	专家

会议工作人员

姜艳杰	天津大学	副教授
李　佳	武汉大学	博士后
刘忠鑫	浙江大学	研究员
牛菲菲	格拉茨工业大学	助理教授

特邀嘉宾介绍（按姓名拼音排序）

	金芝，CCF/IEEE/AAIA会士，北京大学教授，高可信软件技术教育部重点实验室常务副主任。武汉大学弘毅客座特聘教授，武汉大学特色化示范性软件学院院长。研究方向为软件需求工程方法学、智能化软件工程和知识工程。曾获高等学校科学研究优秀成果奖(科学技术) 科技进步奖一等奖，CCF科学技术奖技术发明一等奖，CCF夏培肃奖，中创软件人才奖等奖项。
	李宣东，南京大学教授；教学与科研工作主要涉及软件工程、可信软件、形式化方法；兼任国务院学位委员会学科评议组成员（软件工程）；曾任南京大学计算机科学与技术系系主任（2006-2018）、软件学院院长（2008-2022），国家自然科学基金委员会信息科学部专家咨询委员会委员（2014-2019），中国计算机学会系统软件专业委员会主任（2015-2019），中国计算机学会软件工程专业委员会主任（2020-2023）。
	王戟，国防科技大学教授，复杂关键软件环境全国重点实验室副主任，中国计算机学会会士。从事可信、智能与新兴软件技术研究，在复杂关键软件高可信保证、神经符号融合系统、虚拟计算环境等方面取得了重要进展，在国家和国防重大重点工程发挥了重要作用。获国家和省部级奖励6项，发表论文200余篇。曾获国务院政府特殊津贴、国家杰出青年科学基金、教育部长江学者特聘教授。历任中国计算机学会理事、形式化方法专委主任、软件工程专委副主任。
	王利杰，华为公司可信软件工程与开源实验室主任，20多年大型软件产品研发和交付经验，作为国家科技重大专项“新一代宽带无线移动通信网 - 基于R15 5G核心网预商用设备研制与验证”课题负责人完成5G核心网原型机开发，作为华为5G核心网产品研发团队负责人，完成5G核心网产品的研发和交付。当前致力于软件工程数字化、智能化，提升组织级软件研发的安全、质量和效率。

参会嘉宾介绍（按姓名拼音排序）

	车万翔，哈尔滨工业大学计算学部长聘教授，人工智能研究院副院长，国家级青年人才，斯坦福大学访问学者。主要研究方向为自然语言处理与大语言模型。现任中国中文信息学会计算语言学专委会副主任兼秘书长，国际顶级会议ACL 2025程序委员会共同主席。承担国家自然科学基金重点等项目，著有《自然语言处理：基于大语言模型的方法》等。主导研发的语言技术平台（LTP）已被百度、腾讯、华为等企业付费使用。曾获2024年吴文俊人工智能科技进步一等奖（排名第1）、黑龙江省科技进步一等奖（排名第2）及AAAI最佳论文提名、2025年IEEE信号处理学会最佳论文奖等，并入选“全球前2%顶尖科学家”榜单。
	陈俊洁，天津大学软件学院副院长、教授，软件工程团队（TJU-WISE Lab）负责人，主持国家优青、重点研发计划青年科学家等项目；博士毕业于北京大学；研究方向主要为基础软件测试、代码智能体、可信AI等；入选中国科协青年人才托举工程、斯坦福大学发布的全球前2%顶尖科学家榜单，荣获CCF优博、电子学会自然科学一等奖、十项最佳/杰出论文奖等奖项；成果在华为、字节等多家知名企业落地；担任CCF系统软件专委常委，ASEJ、JCST、FCS、JSEP等期刊编委/青年编委，ICSE、FSE、ASE、ISSTA等顶会PC。
	陈尚义，教授级高工，博导，百度技术委员会理事长，百度雄安公司总经理，中国软件行业协会副理事长，北京人工智能产业联盟秘书长，中国电子学会会士，国家科技重大专项、重点研发计划、科技创新2030人工智能重大项目专家。北航、同济大学兼职教授，中国侨联特聘专家资源信息组副组长。获省部级科技进步奖7次。
	胡春明，北京航空航天大学教授，软件学院院长，复杂关键软件环境全国重点实验室常务副主仸。主要研究方向为数据中心资源管理不调度、大数据计算的分布式系统软件、安全攸关软件方法不工具研究。提出数据中心混合负载调度应用亍阿里于调度系统，提出模型驱劢+智能增强的安全攸关软件智能开发系列方法，研制航空机载软件智能协同开发环境，在中国商飞等推广应用，提升模型驱劢方法的开发效率和质量。
	胡小龙，现任新华三副总裁，ICT软件开发部总经理，长期从事复杂软件系统一线开发管理工作。曾获省级科技技术进步一等奖1次，部级科技进步奖2次。近年来主要集中在AI Infra“云-网-算-存-维”全栈软件技术研发和创新工作。
	刘辉，北京理工大学教授，长期从事软件质量保障和智能软件开发方面的研究和教学工作，曾获得IET Premium Award、RE最佳论文奖、ICSE杰出论文奖（2022、2026）以及ESEC/FSE杰出论文奖、CCF自然科学二等奖、北京市技术发明二等奖。
	卢帅，京东高级算法专家。毕业于北京大学，曾任微软亚洲研究院（MSRA）高级研究员。他长期从事代码智能与大语言模型的研究与应用，在NeurIPS、ICLR、ACL、ICSE等国际顶尖AI与软件工程会议发表多篇论文，Google Scholar累计引用上万次。他是代码预训练模型CodeBERT系列、UniXcoder，以及代码评测基准CodeXGLUE的核心作者之一。并主导了Rust自动化证明生成系统AutoVerus等可信代码研究。目前，他致力于探索多模态基座模型，并积极关注多模态能力与代码智能体的交叉应用。
	潘瑞琪，现任华为2012实验室软件工程应用技术实验室主任，长期致力于企业级软件工程方法的研究与规模化落地，拥有超大规模软件开发协作的一线实战经验。他深谙大规模、长生命周期复杂软件工程面临的核心挑战，对智能化浪潮下软件工程的重塑有着深刻洞见。近年来，他重点聚焦AI辅助研发及研发范式升级，在SPEC驱动开发、代码Agent质量保障与评测、领域知识工程等方向取得了深入的研究成果和扎实的落地实践。
	彭鑫，复旦大学计算与智能创新学院副院长、教授，国家级高层次人才计划入选者。中国计算机学会（CCF）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，中国汽车工程学会汽车基础软件分会副主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得“NASAC青年软件创新奖”，2023年入选上海市东方英才拔尖项目，2024年获得“中创软件人才奖”。主要研究方向包括软件智能化开发与测试、智能化软件系统构造与运行支撑、具身智能与自主无人系统软件等。
	石琳，北京航空航天大学软件学院教授，院长助理，空天软件智能测试北京重点实验室副主任。研究方向为智能软件工程，包括仓库级代码智能、智能需求工程、开源软件、可信AI等。在软件工程、人工智能领域的高水平国际会议ICSE，FSE，ASE等发表论文70余篇，获CCF软件工程青年科技奖，三次获杰出论文奖。主持GF基金重点项目、多项国家自然科学基金项目、企业合作项目20余项。研究成果落地华为、阿里、中国航空工业集团、招商银行等知名企业。
	华东师范大学软件工程学院教授、副院长（科研），入选国家级青年人才计划，主要研究方向为软件分析、测试、验证与安全，以及工业软件等。相关技术成果形成了商业化软件测试与验证工具或被头部企业工具集成，应用领域涉及集成电路制造、航空航天、金融支付、国产鸿蒙系统等。曾获得CCF科技成果奖技术发明一等奖、CCF软件工程和系统软件专委会青年科技奖、CCF-华为胡杨林基金年度优秀项目、六项CCF-A类国际会议的ACM SIGSOFT杰出论文奖等；主持中国国自然面上项目、科技部重点研发计划课题、以及企业项目十余项。个人主页：http://tingsu.github.io/。
	魏峻，中国科学院软件研究所研究员，博士生导师，所学术/学位委员会委员。兼任CCF软件工程和服务计算专委会委员，《软件学报》、《计算机科学与探索》期刊编委。当前研究面向韧性软件的智能软件工程、面向智能体架构软件系统的开发运维一体化方法。近年来主要研究软件工程方法与技术在分布式系统中的运用，解决正确性、可靠性、性能等方面的问题，发表学术论文300余篇，获发明专利30多项，获得国家级科技奖励二等奖2项，省部级科技奖励一等奖3项。
	谢晓园，武汉大学计算机学院教授、博导，武汉大学特色化示范性软件学院副院长，主要研究方向为智能化软件工程。主持国家自然科学基金重点项目、科技部重点研发课题、国家自然科学基金面上项目（三项）。获NASAC青年软件创新奖、ACM SigSoft Distinguished Paper Award（四次）、ICST2025十年最具影响力Journal First论文奖、湖北省科技进步一等奖等科技奖励。参与了四项软件测试国家标准的制订。担任IEEE TSE Editor、FCS青年AE、以及国际会议ICST2026、Internetware2026 PC Chair。
	张克驰，目前在腾讯混元大模型团队负责Agent Harness算法研究，博士毕业于北京大学计算机学院，导师为金芝教授和李戈教授，本科毕业于北京大学信息科学技术学院，研究方向为代码智能体、代码大模型与智能化软件工程。他曾以第一作者在自然语言处理、软件工程等领域的国际会议上发表多篇论文。其代表工作CodeAgent发表于ACL 2024，是较早系统性研究代码智能体的工作之一。一作论文先后获得2023年ACM杰出论文奖（ACM SIGSOFT Distinguished Paper Award in ICPC）和2026年ACM杰出论文奖（ACM SIGSOFT Distinguished Paper Award in ICSE）。
	张路，北京大学计算机学院教授、高可信软件技术教育部重点实验室副主任。主要研究领域是软件分析与测试，在软件工程领域的重要期刊和会议上发表论文100余篇。曾获国家科学技术进步奖二等奖，国家自然科学二等奖和电子学会自然科学一等奖。
	张燚钧，中国移动集团首批“金种子计划”入选人才，高级工程师，中国计算机学会软件工程专委会委员、中国信通院核心参编专家。教育部2011计划-北京大学&上海交通大学联培博士，导师为黄铁军教授。获得中国移动集团优先炼金青年（集团级）、江苏省双创人才、江苏省双创博士（省部级）、姑苏重点产业紧缺人才等荣誉及人才项目支持。主导中国移动九天代码大模型研发，目前负责中国移动灵畿研发平台AI能力建设及云公司AI研发新范式推广。

会议执行主席介绍

李戈，北京大学博雅特聘教授，教育部长江学者，中国计算机学会（CCF）软件工程专委会副主任。“基于深度神经网络的程序理解与生成”领域的早期推动者，多项成果被国际学者认为是“首创性成果”并被广泛引用，所带领的研究团队长期聚焦于大语言模型、智能体工程、智能化软件开发工具等领域的研究。科研转化成果为航天、金融、IT领域的多家企业提供智能化研发支撑。

会议联合主席介绍

	夏鑫，浙江大学求是特聘教授，ACM杰出会员、CCF杰出会员，CCF软件工程专业委员会常务委员。加入浙江大学之前，他曾任华为技术有限公司软件工程应用技术实验室首席专家及主任。主要研究方向包括人工智能与软件工程、挖掘软件仓库以及经验软件工程。夏鑫荣获18项最佳论文奖或杰出论文奖，其中包括8项顶会杰出论文奖。因在职业生涯早期取得的突出成果，他于2022年获得ACM SIGSOFT早期职业研究者奖（Early Career Researcher Award）。
	高翠芸，哈尔滨工业大学（深圳）教授，哈工大青年拔尖人才。入选第九届中国科协青年人才托举工程，ACM TOSEM Associate Editor，获得2026 IEEE CS TCSE新星奖。主要研究领域包括：智能化软件工程和软件可靠性，近年来在相关领域的顶级会议和期刊如TSE、TOSEM、ICSE、FSE、ASE等上发表论文100余篇，荣获CCF A类会议ICSE 2025杰出论文奖、ICSE 2024杰出论文奖和ASE 2023杰出论文奖。

秀湖会议AC主席介绍

金芝，CCF/IEEE/AAIA会士，北京大学教授，高可信软件技术教育部重点实验室常务副主任。武汉大学弘毅客座特聘教授，武汉大学特色化示范性软件学院院长。研究方向为软件需求工程方法学、智能化软件工程和知识工程。曾获高等学校科学研究优秀成果奖(科学技术) 科技进步奖一等奖，CCF科学技术奖技术发明一等奖，CCF夏培肃奖，中创软件人才奖等奖项。

秀湖会议AC委员介绍

马晓星，南京大学教授、计算机学院院长。中国计算机学会软件工程专业委员会主任。主要研究方向包括智能软件工程、软件自适应技术、软件体系结构与中间件等。研究工作得到国家杰出青年科学基金、国家973/863项目课题、国家自然科学基金重大项目课题等项目资助；发表学术论文百余篇，曾获中创软件人才奖、两次国家科技进步二等奖（分别为第2、第4完成人）等。

彭鑫，复旦大学计算与智能创新学院副院长、教授，国家级高层次人才计划入选者。中国计算机学会（CCF）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，中国汽车工程学会汽车基础软件分会副主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得“NASAC青年软件创新奖”，2023年入选上海市东方英才拔尖项目，2024年获得“中创软件人才奖”。主要研究方向包括软件智能化开发与测试、智能化软件系统构造与运行支撑、具身智能与自主无人系统软件等。

会议工作人员介绍

	姜艳杰，天津大学软件学院英才副教授。博士毕业于北京理工大学，曾在北京大学高可信软件技术教育部重点实验室从事博士后研究。研究方向为智能软件工程，主要包括软件质量保障、软件测试和软件安全。近年来，在软件工程领域发表CCF-A类论文40余篇，主持博士后创新人才支持计划（博新）、国家自然科学基金、CCF-华为胡杨林基金等科研项目多项。担任软件工程领域顶级会议ICSE、FSE、ASE、ISSTA的程序委员会委员、顶级期刊TSE和TOSEM等期刊的审稿人。
	李佳，武汉大学弘毅博士后，博士毕业于北京大学高可信软件技术教育部重点实验室，获湖北省博士后尖端人才引进计划、北京市优秀毕业生、微软亚洲研究院“明日之星”等称号。研究方向为智能化软件工程，主要包括需求分析、代码生成和软件开发智能体。近年来，在FSE、ASE、ACL等发表高水平论文20余篇，获 1 次 ACM SIGSOFT 杰出论文奖，论文引用 1000 余次。主持军事科学院军民融合重点项目、博士后国资计划 B 档项目、博士后面上项目，参与国家重大研究计划重点研发项目等。担任ACL、ICML、NIPS、TOSEM、EMSE等期刊和会议审稿人，获1 次杰出审稿人奖。
	刘忠鑫，浙江大学计算机科学与技术学院特聘研究员，CCF高级会员。研究方向为智能软件工程，聚焦代码的表征、生成和维护。近年来，在智能软件工程领域发表CCF-A类论文40余篇，主持国家自然科学基金、浙江省自然科学基金、CCF-华为胡杨林基金、腾讯犀牛鸟专项等科研项目多项，参与国家科技重大专项课题。受邀担任软件工程领域顶级会议ICSE、FSE、ASE的程序委员会委员、顶级期刊TSE的编委会成员。多次获得CCF-A类会议的杰出论文奖，两次获得CCF-A类会议的杰出审稿人奖，曾获ACM杭州新星奖、华为启真优秀青年学者、CCF软件工程专委会博士学位论文激励计划等奖励。
	牛菲菲，奥地利格拉茨工业大学助理教授。博士毕业于南京大学，曾在加拿大渥太华大学从事博士后研究。主要研究方向包括软件质量保障、需求工程与软件测试。研究成果发表于ICSE、ASE、TOSEM、CSUR、TSC等会议和期刊，曾获MSR杰出论文奖。担任ICSE、ASE、ISSTA、FSE等顶会PC，以及TOSEM、EMSE、IEEE Software、ASEJ等期刊审稿人。