CCF软件大会2026|软件工程智能体创新论坛

一、论坛介绍

随着大语言模型与智能体技术的持续发展，软件研发正从AI辅助编程迈向智能体驱动的全流程协作新阶段。“软件工程智能体创新论坛”旨在汇聚学术界与产业界专家，围绕AI原生软件工程的关键技术、研发范式与产业实践展开深入探讨。

本次论坛聚焦Spec驱动开发、多智能体协同、长程任务执行、智能体训练与自进化、研发技能与知识体系构建，以及代码理解、测试验证与可信质量保障等方向，交流最新研究成果与工程经验。结合企业级智能研发平台建设、复杂软件开发及跨平台代码迁移等真实场景，探讨软件智能体从能力提升到工程落地的关键挑战，推动智能体技术在软件研发全场景中的应用，促进学术研究与产业创新的协同发展。

二、论坛组织委员会

• 王千祥（华为）
• 李戈（北京大学）
• 夏鑫（浙江大学）
• 高翠芸（哈尔滨工业大学（深圳））
• 梁广泰（华为）
• 周建祎（华为）
• 刘逵（华为）

三、论坛安排

日程安排：

时间：2026年11月6日-2026年11月7日

地点：天津市社会山国际会议中心酒店，二层16号会议室

论坛议程：

四、论坛报告嘉宾简介

1. 潘瑞琪 华为2012实验室软件工程实验室主任

题目：是驾驭先进生产力的利器还是束缚生产力围栏

摘要：各类围绕应用大模型进行开发而产生的智能体平台如雨后春笋应运而生，一方面这些平台让大家更容易，更大范围的使用好智能化，另一方面，又有各类现实风险让我们必须建立好护栏控制使用，那么作为一个智能化开发平台应该如何平衡呢。

简介：潘瑞琪，现任华为2012实验室软件工程应用技术实验室主任，长期致力于企业级软件工程方法的研究与规模化落地，拥有超大规模软件开发协作的一线实战经验。他深谙大规模、长生命周期复杂软件工程面临的核心挑战，对智能化浪潮下软件工程的重塑有着深刻洞见。近年来，他重点聚焦AI辅助研发及研发范式升级，在SPEC驱动开发、代码Agent质量保障与评测、领域知识工程等方向取得了深入的研究成果和扎实的落地实践。

2. 谢吉宝 Qoder 技术负责人

题目：Qoder：不止编程，无限创造

摘要：过去，开发者坐在 IDE 前逐行编写、补全、编译和调试代码；今天，越来越多的人只需说清目标，剩下的拆解与执行都可以交给智能体，人的核心工作变成了计划、委派和验收。Qoder 的使用数据印证了这一转变：三成以上用户不是专业开发者，一半以上任务已不是传统编程，八成以上编程任务交由智能体执行。代码正在从交付物变成数字世界的通用能力，Qoder 因此定位为"Agentic Coding Platform for Everyone"。本次分享将展示：人如何与多个 Agent 围绕同一个任务共同讨论、分工协作，不必再在聊天群和多个终端之间来回搬运上下文；如何通过语音、手机等随身入口随时委派和验收，让任务在云端持续运行、不再依赖人全程在线。Qoder 的起点是编程，但目标从来不只是多写几行代码，而是让每个人都能借助 AI，把想法真正变成结果。

简介：谢吉宝（花名唐三），阿里巴巴资深技术专家，Qoder 技术负责人，统筹 Qoder 全系列产品的技术体系与研发。深耕大型分布式系统十余年，曾主导中间件核心组件、异地多活容灾及双 11 全链路稳定性保障。近年他聚焦 AI 编程与智能体（Agent）方向：一条主线持续突破 Agent 在长程任务规划与自主执行、上下文工程和工具调用等方面的能力边界；另一条主线构建以能力评测、安全沙箱、权限与审计为核心的可信体系，让组织敢于将复杂任务真正交给 Agent。两条主线最终收敛为统一的 Agent 内核，支撑终端、桌面与云端多种产品形态。他认为，AI 编程的下一步，不是让用户多写几行代码，而是让编程成为每个人都能调用的通用能力。

3. 周维  蚂蚁集团数字科学高级技术专家

题目：从「可用」到「可交付」：AiWork 的 Agent Harness 工程与企业级研发实践

摘要：大模型智能体正从“辅助补全”走向“在后台独立完成真实仓库与业务任务”，软件工程的核心问题也随之从“能不能生成代码”转向“需求是否对齐、测试是否充分、证据是否可复查、长任务与多智能体并行是否可控、交付能否被验收”。本报告以蚂蚁数科 AiWork通用智能体与工程实践为线索，介绍如何把需求澄清、契约先行、测试、评审、CI/CD、回滚与复盘等经典软件工程经验，重构为智能体可执行、团队可验收的运行时能力。报告将拆解 AiWork 的核心技术：面向长任务的上下文工程（分层组装、按需加载、分级压缩与断点续作）、以子智能体委派为核心的规划编排，以及“运行状态 / 结果契约 / 任务验收”三层分离的交付验证与整棵委派树的开销核算。在此基础上，报告进一步落到 AiWork 的企业级能力：以统一内核为底座，按研发、办公与业务场景组合 Code / Work / Space，用模型路由、审批、沙箱与审计覆盖智能体全生命周期，帮助企业把 AI 研发从“可用”做成可控、可运营、可规模化落地的生产级能力。

简介：周维，2021年加入蚂蚁，现负责蚂蚁数科的AiWork Agent Harness的架构设计和工程建设，关注智能体在复杂任务中的持续执行、协作效率和可靠性。工作经历覆盖底层系统研发、技术架构和团队管理。目前围绕统一智能体内核，探索人、智能体和工作流程结合的AI原生研发方式。

4. 张克驰 腾讯混元大模型Agent Harness负责人

题目：长时运行智能体建设方法与挑战

摘要：近年来，大语言模型在代码生成、软件测试、程序修复、知识检索和复杂任务求解等领域快速发展，推动智能软件工具从一次性的问答辅助和代码补全，逐步走向能够持续规划、执行、验证和迭代的智能体（Agent）系统。与传统代码生成技术相比，长时运行 Agent 不再只关注单次输出的正确性，而是需要在更长时间尺度上理解目标、拆解任务，并根据反馈不断修正执行路径，从而完成复杂工程任务。与此同时，长时运行 Agent 的工程化落地也带来了新的挑战：受限于模型上下文，Agent 在长任务中容易出现目标漂移等问题；由于缺乏可靠的外部校验机制，也容易出现过早宣布完成或隐蔽错误等现象。ProgramBench、SWE-Marathon 等长时程基准的实践也进一步表明，当前智能体在长时间跨度的复杂软件任务上仍远未可靠。本报告将围绕长时运行 Agent 的方法展开，探讨流程编排、任务分解等核心方法，并分析仍需解决的关键挑战。

简介：张克驰，目前在腾讯混元大模型团队负责Agent Harness算法研究，核心参与Hy3、Hy4模型训练和Agent协同设计。博士毕业于北京大学计算机学院，导师为金芝教授和李戈教授，本科毕业于北京大学信息科学技术学院，研究方向为代码智能体、代码大模型与智能化软件工程。他曾以第一作者在自然语言处理、软件工程等领域的国际会议上发表多篇论文。其代表工作 CodeAgent 发表于 ACL 2024，是较早系统性研究代码智能体的工作之一。一作论文先后获得 2023 年 ACM 杰出论文奖（ACM SIGSOFT Distinguished Paper Award in ICPC）和 2026 年 ACM 杰出论文奖（ACM SIGSOFT Distinguished Paper Award in ICSE）。

5. 石琳 北京航空航天大学软件学院教授，院长助理

题目：暗知识驱动的可信代码智能体构建

摘要：软件开发过程中包含大量暗知识。所谓暗知识，是无法仅通过阅读最终代码获取，来源于开发行为、排障调试、设计取舍、失败教训等过程的经验性知识，涵盖设计动机、隐式契约、失败模式、隐式依赖、排障方案、开发者画像等多类信息。当前业界主流的代码 RAG、分层记忆智能体大多只利用显性、半显性结构化信息，对暗知识挖掘复用不足，这也是智能体产生幻觉、不合规、输出不可落地的重要根源。本次报告介绍暗知识的获取、结构化与复用技术路径，分享 VirtualME、DevSkill、DevBrain、CREDIT 评估体系等系列研究成果：通过 IDE 采集开发者行为轨迹，构建开发者画像实现个性化研发问答；从真实开发轨迹中提取可迁移的任务求解 Skill，提升复杂开发任务的规划与执行正确率；进一步解构任务技能，基于过程知识图谱实现任务方案的动态组装，突破简单步骤模仿，向最优解搜索跃迁；同时提出人机协作可信度量化评估框架 CREDIT，实现 AI 辅助开发过程的可度量、可问责。为构建真正可用、可控、可追溯的生产级可信代码智能体提供新思路与实践参考。

简介：石琳，北京航空航天大学软件学院教授，院长助理，空天软件智能测试北京重点实验室副主任。研究方向为智能软件工程，包括仓库级代码智能、智能需求工程、开源软件、可信AI等。在软件工程、人工智能领域的高水平国际会议ICSE，FSE，ASE等发表论文70余篇，获CCF软件工程青年科技奖，三次获杰出论文奖。主持GF基金重点项目、多项国家自然科学基金项目、企业合作项目20余项。研究成果落地华为、阿里、中国航空工业集团、招商银行等知名企业。

6. 冯涛 清华大学助理教授

题目：经验、记忆与技能：从持续学习到自进化Agent

摘要：随着大语言模型和智能体的发展，能力不再局限于模型参数，还可以存储在外部记忆、可复用技能和交互规则中，持续学习也因此从模型训练问题扩展为整个智能体系统的能力演化问题。本次报告介绍持续学习在模型生命周期、能力存储载体和更新机制上的最新发展，探讨从参数更新到记忆积累、技能进化与推理时学习的技术路径，并进一步讨论主动遗忘、自主反馈闭环和长程任务评估等关键挑战，展望能够从自身经验中持续学习、积累并迁移能力的下一代 Agent。

简介：冯涛，清华大学助理教授，曾在清华大学计算机系担任博后/助理研究员、于阿里巴巴-达摩院从事研究工作；研究方向为人工智能、多模态、自进化智能体等。主持及参与国家自然科学基金重大项目、中央引导地方专项、面上项目等，在CVPR、ICML、NeurIPS、ICLR、IJCV等人工智能会议及期刊发表论文40余篇，多次入选会议亮点论文，GitHub累计星标5千余次；参与多项国际、国家人工智能标准编制工作，涵盖基础模型、智能体、具身智能等。

7. 董益宏 上海交通大学计算机学院助理教授

题目：面向长程软件开发任务的智能体强化学习方法

摘要：大模型驱动的软件智能体正从单次代码生成走向涉及多轮决策与环境交互的长程软件开发。然而，长程任务探索成本高且成功轨迹稀缺，使强化学习面临训练开销过大和有效学习信号不足的挑战。本报告围绕“如何拓展模型探索能力，并高效地从长程交互中学习”这一问题，介绍相关研究进展。首先，结合混合策略优化方法 RL-PLUS，讨论强化学习中的能力边界收缩现象，以及融合外部示例与自主探索、拓展模型推理能力的方法。随后，重点介绍面向长程软件开发的强化学习框架 SPROUT：通过同步保存和恢复智能体上下文与执行环境，复用失败尝试中已有的有效进展；利用验证反馈驱动失败分析、回溯位置选择与分支探索，获得更多可用于学习的成功轨迹；进一步通过策略优化，将纠错探索经验转化为模型自身的任务执行能力。报告将结合代码库问题修复与终端交互任务的实验，展示 SPROUT 在任务解决率与训练效率方面的改进，并讨论面向复杂软件开发的软件智能体训练方法与未来研究方向。

简介：董益宏，上海交通大学计算机学院PI（长聘轨助理教授，博导），研究聚焦于智能化软件工程、大语言模型以及多智能体协同，发表CCF-A类学术论文40余篇，其中一作论文引用2200余次，且多项学术成果转化为实际应用落地，提出最早的多智能体协同软件开发框架Self-collaboration，曾获通义阿里星、字节 TikTok、京东 TGT、腾讯青云、美团北斗等顶尖人才计划，以及CCF软工专委博士学位论文激励计划、北京大学优秀博士学位论文、北京大学计算机学院“学术十杰”、中国科协博士青托计划、CCF青年开源专项基金种子计划、ACL Best Paper Candidate、ACL SAC Highlight Award等10余项荣誉奖项。

8. 曹嘉伦 帝国理工计算机系助理教授

题目：真实世界中的 Agentic Skills：建模、检索、评估与演进

摘要：随着 Agentic AI 加速走向真实世界的应用，Agentic Skills（智能体技能）正逐渐成为将 AI 能力转化为可复用专业知识的关键层。本次演讲将探讨真实场景中的技能是什么、开发者正在将哪些能力封装为技能，以及如何系统地理解、评估和改进这些技能。基于对公开可用技能的实证分析，我们将剖析其功能特征、对软件开发生命周期的覆盖情况及潜在安全风险，并介绍一套系统化框架，支持技能建模、相似技能检索、自动化质量评估，以及面向技能评测的基准测试推荐。

简介：曹嘉伦博士是帝国理工计算机系的助理教授。她的研究重点是利用先进的人工智能技术实现软件开发、测试和程序验证的自动化，旨在实现从构建之初就具备可靠性的软件的自动化生产。她在ICSE、ESEC/FSE、CAV、ASE、ACL、AAAI、USENIX Security和TOSEM等顶级会议和期刊上发表了30余篇论文。她担任ICSE、FSE、ISSTA和ASE等顶级会议的程序委员，并担任ESEC/FSE 2025和ASE 2024的分会主席。她获得了2024年杰出论文奖，2025年ACM SIGSOFT杰出博士论文奖、2025年工程科学领域青年科学家奖等。

9. 张洪宇 重庆大学大数据与软件学院院长

题目：智能化软件工程的进展与挑战

摘要：在人工智能时代，我们的目标是实现智能化软件工程。在前期工作中，我们通过挖掘软件相关的数据构建基于机器学习模型，来自动化编程、测试、故障诊断和运行维护等任务，从而提高软件开发的生产效率，减少维护工作。近年来，大语言模型和智能体技术也被广泛应用于智能化软件工程，改变了软件开发与运维方式，推动了"AI原生"新模式新业态。本次报告将回顾智能化软件工程的发展历程, 讨论当前智能化软件工程工作面临的挑战和可能的研究方向。

简介：重庆大学大数据与软件学院教授、院长、弘深杰出学者，IEEE Fellow。主要研究方向是智能化软件工程，软件数据挖掘和软件维护。在国际著名会议和期刊上发表了300多篇论文，获得过10多次ACM杰出论文奖和最佳论文奖，1次FSE时间检验奖，以及2次ICSE 最有影响力实践论文奖。长期担任多个国际顶级学术会议的程序委员会委员以及国际期刊的编委。他也是ACM杰出会员，CCF杰出会员，澳洲工程师协会会士和David Parnas Fellow。

10. 潘瑞琪 华为软件工程应用技术实验室主任

题目：iCode的设计理念:面向企业和组织的智能化平台

摘要：业界已经有大量的codeagent存在，为什么我们需要重复造轮子产生一套新的智能开发平台？如何提高用户对agent的粘性和忠诚度，关键抓手有哪些？

简介：潘瑞琪，现任华为2012实验室软件工程应用技术实验室主任，长期致力于企业级软件工程方法的研究与规模化落地，拥有超大规模软件开发协作的一线实战经验。他深谙大规模、长生命周期复杂软件工程面临的核心挑战，对智能化浪潮下软件工程的重塑有着深刻洞见。近年来，他重点聚焦AI辅助研发及研发范式升级，在SPEC驱动开发、代码Agent质量保障与评测、领域知识工程等方向取得了深入的研究成果和扎实的落地实践。

11. 金芝 武汉大学教授

题目：系统工程视角下的软件Spec模式及语言

摘要：信息物理融合系统的开发面临系统成分异构、系统组成复杂和领域知识鸿沟带来的难题，关键挑战之一是如何根据系统任务需求推断出软件Spec。本报告结合航天控制嵌入式系统实践，探讨以系统工程理论为指导的软件问题定位、软件问题解耦、以及软件模式抽象的方法，包括（1）引入物理设备及其所关联领域实体的统一抽象；（2）建立以可异步发生交互为原则的能力解耦策略；等，据此提出面向航天控制嵌入式系统的软件Spec语言。本报告将展示从系统任务需求到Spec语言的推演过程及工具，并对Spec驱动软件开发进行展望。

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

12. 江贺 大连理工大学教授

题目：智能体时代的软件工程再认识

摘要：大模型引领的智能体给软件工程带来了前所未有的挑战和机遇。软件工程新的范式是否真正到来？软件工程研究又该何去何从？本次报告试图通过回望软件工程的发展历史，探索在这场新的技术革命下，软件工程的新赛道和软件产业的新方向。

简介：江贺，国家万人领军人才，教授、博导，大连理工大学人工智能大连研究院院长，大连理工大学网信中心主任。毕业于中国科大少年班，研究兴趣为智能系统开发与应用，成果在航空航天、自动驾驶等领域广泛应用。主持国家自然科学基金重点项目、重点研发课题等10多项课题，在国际著名期刊及国际会议发表论文100余篇。先后获得大连市五一特等奖章，国际软件工程大会杰出论文奖等。

13. 卜磊 南京大学教授

题目：智能体驱动的形式化程序规约生成与代码验证

摘要：代码验证是保障软件可靠性的重要技术。对于复杂软件系统，验证往往需要借助循环不变式、函数契约等辅助规约，为程序行为提供精确的语义描述，支撑验证任务的分解与组合。大语言模型为辅助规约的自动构造与程序验证任务的自动化提供了新机遇，但现有方法在过程间规约依赖处理以及验证失败的根因定位与针对性修复等方面仍存在不足。本报告介绍一种智能体驱动的形式化程序规约生成与代码验证方法。该方法将智能体的决策能力与程序验证任务相结合，通过规划、生成、修复与评估等智能体的协同工作，迭代构造和完善辅助规约，并利用检索增强生成、验证反馈与质量评估机制，提升规约对程序验证的支撑能力。基于多个实际复杂项目的实验结果表明，通过生成可验证的辅助规约，该方法能够有效支撑复杂程序的安全性质验证，为复杂软件的自动化验证提供了新的技术途径。

简介：卜磊，教授，博士生导师，现任南京大学软件学院副院长，兼任 CCF 系统软件专委副主任（执行）；主要研究领域涉及可信软件、软件工程、形式化方法等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TOSEM、TDSC、CAV、RTSS、ICSE、DAC等上；入选高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖等奖项，主持基金委青A、重点、国际合作等项目多项。

14. 夏鑫 浙江大学教授

题目：构建可信代码智能体：从供应链安全到内生质量治理

摘要：随着AI Coding向自主智能体演进，其面临输入侧供应链投毒与输出侧幻觉漏洞的"可信鸿沟"。本分享提出贯穿输入—输出的系统工程框架：第一层"输入可信"，聚焦模型测试修复、鲁棒性提升与Coding Skill投毒检测；第二层"输出可信"，涵盖实际场景能力评估、生态迁移（借UI/测试/方案）及Agent技能选择测试。旨在推动代码智能体从"能用"走向"靠谱"。

简介：夏鑫，浙江大学求是特聘教授，ACM 杰出会员。加入浙江大学之前，他曾任华为技术有限公司软件工程应用技术实验室首席专家及主任。主要研究方向包括AI与软件工程、以及经验软件工程。夏鑫荣获 19 项最佳论文奖或杰出论文奖，其中包括9 项顶会杰出论文奖（ASE 2018-2021、2025、2026， ICSE 2024和2026， FSE 2025）以及两项十年最有影响论文奖（ICSME 2026和QRS 2025）。因在职业生涯早期取得的突出成果，他于 2022 年获得 ACM SIGSOFT 早期职业研究者奖（Early Career Researcher Award）。

15. 贾岩涛 华为智能化软件高级技术专家

题目：AI-Native安卓应用鸿蒙化实践与思考

摘要：AI技术的快速发展，给传统代码迁移任务带来了新的机遇。相比传统的模块级人工迁移的方式，整仓级自动化的迁移方式是否可行，是一个值得深入研究与探索的开放问题。本报告将围绕中长尾应用，从安卓应用出发，使用一系列的AICoding技术，打造了零人工编码的安卓应用迁移鸿蒙的工具HMBot。支持包括iCode、DevEco Code/CLI等多款agent框架与模型，同时也对迁移过程中的挑战进行系统性总结与讨论。

简介：贾岩涛博士，研究方向包括智能化软件工程与工具、知识图谱、智能搜索与问答等。曾任中科院计算所副研究员。围绕信息检索、知识图谱、自然语言处理、软件工程与应用等方向，在SIGIR/ACL/WWW/ AAAI/IEEE TKDE/ACM TIST等顶会顶刊发表论文80+，围绕知识计算出版学术专著一部。加入华为后，做为搜索领域首席架构师，带领团队打造了花瓣地图/搜索等一系列产品，同时负责华为嵌入式系统数字化软件工程项目，公司级AI辅助研发平台建设，以及AICoding先锋团队与智能化研发模式打造等工作。出版数字化软件工程专著一部。

五、论坛组织委员会简介

1. 李戈 北京大学教授

简介：李戈，北京大学计算机学院长聘教授，博士生导师，教育部长江学者，CCF软件工程专委会秘书长。长期聚焦于程序理解、程序生成、深度学习等技术的研究，是国际上最早从事"基于深度学习的程序理解与生成"研究并取得代表性成果的研究者，在多个国内外顶级会议与期刊发表相关论文200余篇，多篇论文被国际学者认是"首创成果"并被广泛引用，多次获ACM杰出论文奖。在软件与人工智能领域的多个国际会议担任程序委员会共同主席与PC。曾获教育部科技进步一等奖，CCF科技发明一等奖，北京市科技发明二等奖，中创软件人才奖。教学课程被首批认定为"国家级一流线下课程"和"国家级一流线上课程"，并多次获省部级教学奖。科研转化成果aiXcoder为航天领域的重大工程、金融与IT领域的多家大型企业及数十万国际开发者提供服务。

2. 王千祥 华为云智能化软件研发领域资深专家

简介：主导华为公司的智能化软件研发，结合AI技术与软件分析技术，带领团队探索研发领域的大模型系统，相关成果包括：PanguCoder, PanguCoder2, CodeR等，并赋能华为的软件研发工具 CodeArts。

3. 夏鑫 浙江大学教授

简介：夏鑫，浙江大学求是特聘教授，ACM 杰出会员。加入浙江大学之前，他曾任华为技术有限公司软件工程应用技术实验室首席专家及主任。主要研究方向包括AI与软件工程、以及经验软件工程。夏鑫荣获 19 项最佳论文奖或杰出论文奖，其中包括9 项顶会杰出论文奖（ASE 2018-2021、2025、2026， ICSE 2024和2026， FSE 2025）以及两项十年最有影响论文奖（ICSME 2026和QRS 2025）。因在职业生涯早期取得的突出成果，他于 2022 年获得 ACM SIGSOFT 早期职业研究者奖（Early Career Researcher Award）。

4. 高翠芸 哈尔滨工业大学（深圳）教授

简介：高翠芸，哈尔滨工业大学（深圳）教授，哈工大青年拔尖人才。入选第九届中国科协青年人才托举工程，ACM TOSEM Associate Editor，获得2026 IEEE CS TCSE新星奖。主要研究领域包括：智能化软件工程和软件可靠性，近年来在相关领域的顶级会议和期刊如TSE、TOSEM、ICSE、FSE、ASE等上发表论文100余篇，荣获CCF A类会议ICSE 2025杰出论文奖、ICSE 2024杰出论文奖和ASE 2023杰出论文奖。

5. 梁广泰 华为云CodeArts工具技术创新lab主任

简介：14年初获得北京大学计算系博士学位，之后入职IBM中国研究院担任研究员职位。16年5月加入华为工作至今，带领团队先后围绕代码缺陷检测与修复、开源成分分析与治理、代码智能同步/重构/移植/生成等方向成功孵化多项智能化开发服务并规模化落地。至今已发表技术专利50+及学术论文40+（含ICSE/FSE/ASE/OOPSLA等），曾获FSE最佳论文奖/ISSTA最佳论文奖等，先后担任一系列软工Top国际会议PC Member/Chair等角色（含ICSE/OOPSLA/WWW/ISSRE等）。

6. 周建祎 华为云CodeArts工具技术创新Lab-代码智能生成及测试团队Leader

简介：22年6月获得北京大学计算机软件与理论博士学位，同期入职华为工作至今，主要研究领域为智能化代码生成及测试、代码智能体自进化。已发表技术专利10+及顶会论文20+，曾获ASE25杰出论文奖。

7. 刘逵 华为-智能化软件工程技术专家

简介：刘逵博士，华为2012可信软件工程与开源实验室智能化软件工程技术专家。2019年毕业于卢森堡大学获得博士学位，期间专注于缺陷自动修复技术研究，后入职南京航空航天大学，主持/参与过国家级研究项目3项，后入职华为一直带领团队负责智能化软件工程技术的研究与落地推广，在相关领域累计发票高水平研究论文60余篇，其中CCF A类论文30余篇，多个智能化软件开发技术（项目级代码生成、测试生成、代码检视等）在华为公司落地推广使用。