CCF杰出会员、浙江大学求是特聘教授

夏鑫，浙江大学计算机科学与技术学院求是特聘教授，ACM 及CCF 杰出会员，并担任CCF 软件工程专委会常务委员。在加入浙江大学之前，他曾任职于华为技术有限公司，担任软件工程应用技术实验室首席专家及主任。他的研究方向涵盖人工智能与软件工程、软件仓库挖掘以及经验软件工程。夏鑫已累计发表学术论文 370 余篇，获得 18 项最佳、杰出或者10年最有影响论文奖，其中包括在ASE(2018-2021,2025)、FSE(2025)、ICSE(2024)、ICPC(2018、2020)和MSR(2024)上获得的10 项 ACM SIGSOFT 杰出论文奖。为表彰他在学术生涯早期所取得的成就，夏鑫于 2022 年荣获ACM SIGSOFT Early Career Researcher Award。凭借在经验软件工程及 AI4SE 领域的突出贡献，他当选为 ACM 杰出会员。夏鑫长期参与学术社区服务工作，担任MSR、SANER、Internetvare及PROMISE等多个国际会议的指导委员会成员，并参与组织包括ICSE(2023-2025)和 ASE(2020-2021.2025)在内的多个重要国际会议。他先后担任ICSME2026、FASE 2026、SANER2023、TechDebt2023 和PROMISE 2021的程序委员会联席主席，以及Interetware 2023和FORGE(2024-2025)的大会联席主席。此外，他还担任多个知名软件工程期刊的编委，包括TOSEM、EMSE、IEEE Sofware、ASEJ 和JSEP 。

西安电子科技大学教授

田聪，西安电子科技大学，二级教授，国家级领军人才。长期从事可信软件、形式化验证理论与方法研究，在LICS、CAV、ICSE、FSE、ASE、IJCAI、ISSTA、TOSEM、TSE、软件学报等国内外顶级期刊和会议发表论文200余篇；主持国家自然科学基金重大课题、重点和优青项目、科技部重点研发计划课题、军委装备发展部等项目十余项；担任计算机学会形式化方法专委会副主任，获中创软件人才奖、教育部自然科学一等奖1项、陕西省科学技术一等奖2项；相关研究成果应用于航天控制软件开发和芯片设计EDA软件验证等领域。

报告题目：大模型时代下的软件形式化方法

摘要：形式化方法一直被视为保障软件可信性与安全性的基石，但其广泛应用长期受制于规约构建和证明过程的高复杂度。随着大语言模型（LLMs）的迅速发展，形式化验证正迎来了新的变革——从需求理解、规约生成到形式化证明，人工智能正以前所未有的方式重塑这一体系。本报告聚焦大模型与形式化方法的深度融合，系统探讨其在三个关键环节的突破：自然语言需求的语义分解与规约生成、多语言形式化推理模型的构建与评测，以及结合静态分析和验证反馈的自动化规约综合。通过研究这些形式化方法在应用时的关键环节，本报告旨在揭示大模型如何成为智能化软件形式化验证的重要支撑力量。

大连理工大学教授

江贺，教授、博导，大连理工大学人工智能大连研究院院长，大连理工大学未来技术学院副院长，全国编译技术虚拟教研室副主任委员。研究兴趣为软件开发工具和环境，面向通用、内嵌式和场景编译系统开展了设计、实现、优化、测试等系列工作，在航空航天、自动驾驶等领域广泛应用。主持国家自然科学基金重点项目、重点研发课题等10多项课题，在 ACM/IEEE汇刊，中国科学等期刊及 ICSE，FSE 等国际会议发表论文 70 余篇。获国家高层次人才、国家优青、CCF优博指导教师、NASAC青年软件奖、辽宁省自然科学二等奖、国际软件工程大会 ACM SIGSOFT 杰出论文奖等。

报告题目：大模型时代软件工程研究的使命与担当

摘要：大模型引领的新一代人工智能对软件工程带来了前所未有的挑战和机遇。软件工程新的范式是否真正到来？软件工程研究又该何去何从？本次报告试图回望软件工程的发展历史，解构软件工程历次危机与机遇，让历史告诉未来，在这场新的技术变革中，软件工程研究应该向何处发展？软件工程研究者应该有什么样的使命和担当。

武汉大学教授

谢晓园，武汉大学教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，外国优秀青年学者研究基金获得者，主要研究方向为智能(化)软件工程。主持国家自然科学基金重点项目、科技部重点研发课题、国家自然科学基金面上项目（三项）。曾获NASAC青年软件创新奖、ACM SigEvo HUMIES银奖、ACM SigSoft Distinguished Paper Award（四次）、ICST2025十年最具影响力Journal First论文奖、湖北省科技进步一等奖等科技奖励，被软工顶刊 IEEE TSE 评为全球蜕变测试领域十大代表性研究者之一。参与了四项软件测试国家标准的制订，均已实施。担任FCS青年AE、JSS客座编辑、历任IEEE/ACM 蜕变测试研讨会PC Chair。

报告题目：智信相融：软件工程大模型的高质量发展之路

摘要：大模型正重塑软件开发流程，从需求转换、代码补全到测试生成，已实现 10-55% 的开发效率提升。一方面，越来越多的开发者已逐步认可其在软件开发中的价值，在国产化软件生态建设、跨平台适配等场景中，大模型正在成为突破技术垄断的关键支撑。而另一方面，软件工程的高可靠性要求，使得 “可信” 成为大模型落地的必答题。当前模型在复杂系统构建、软件质量、软件安全等关键环节仍存在显著短板，生成代码的接受率偏低，安全漏洞与合规风险成为行业应用的主要障碍。本次报告将从“模型与应用层面”、“框架与算子层面”、以及“生态与实践层面”三个维度出发，探讨可信保障的现状与实现路径。

华为技术专家

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

报告题目：从AI辅助研发到智能化软件工程

摘要：AI辅助研发从23年开始到今天，已经孵化了大量AI软件工程工具、插件、场景，虽然褒贬不一，但客观的说AI在很多方面确实带来了体验和效率的提升。并且无论是学术界、工业界、公司内、公司外，对于AI逐渐融入和改变软件开发过程，都深信不疑。但进入25年，我们似乎进入了一个瓶颈期，除了对原有能力的持续加强，在推广力度上的进一步扩大，似乎对于怎样用AI改变软件工程突然失去了想象力。软件工程在AI的加持下，从所谓的软件工程2.0向软件工程3.0的飞跃，仅仅是量变到质变的累积过程，还是一次新的、从零开始的时代的跨越式迁移。这个问题未必需要答案，但有一些想法和认知需要做出改变。