论坛通知 | AI+软件工程“仲荣”人工智能交叉学科论坛

软件工程是计算机领域底蕴深厚的核心学科，数十年发展形成了成熟的理论与实践体系，是支撑数字产业落地、软件产业迭代升级的关键基石。如今，大模型、智能体等人工智能技术飞速发展，全面重塑了软件研发、测试、运维、质量管控的全流程，既对传统软件工程的技术架构、研发模式与人才培养体系提出全新挑战，也为学科突破、技术革新和产业生态升级带来了广阔机遇。

为顺应人工智能引领的行业变革，剖析发展痛点、研判未来趋势，探索AI赋能下软件工程的全新发展路径，推动学科交叉融合，搭建高水平学术交流平台，哈尔滨工业大学智能科学与技术学科学位分委会推出“仲荣”人工智能交叉学科论坛。本届论坛以“AI+软件工程”为核心主题，邀请相关领域知名专家学者作特邀报告。

时间：2026年6月18日

地点：哈尔滨工业大学活动中心320

主办单位：哈尔滨工业大学智能科学与技术学科学位分委会

承办单位：计算学部 软件学院

论坛主席：王忠杰

报告题目：智能化软件发展的机遇与挑战

报告摘要：以大模型和智能体为代表的AI技术正以前所未有的深度重塑软件行业格局。”AI吞噬软件”、”AI取代程序员”等论调引发广泛焦虑，也促使我们从复杂系统的视角思考和审视软件存在的意义和未来发展的方向。本次报告将以系统复杂性为主轴，从智能化软件系统以及软件系统的智能化开发两个方面分析和论述智能化软件的发展机遇与挑战，以及复旦大学CodeWisdom团队的一些探索方向。

个人简介：彭鑫，复旦大学计算与智能创新学院副院长、教授，国家级高层次人才计划入选者。中国计算机学会（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年获得“中创软件人才奖”。主要研究方向包括基于大语言模型与Agent的软件智能化开发与测试、基于Agentic AI的智能化软件构造与运行支撑、云原生与智能化运维、具身智能与自主无人系统软件等。研究工作多次获得《IEEE Transactions on Software Engineering》年度最佳论文奖、ICSM最佳论文奖、ACM SIGSOFT杰出论文奖、IEEE TCSE杰出论文奖等国际期刊及会议优秀论文奖。担任2022年与2023年CCF中国软件大会（CCF ChinaSoft）组织委员会主席与程序委员会共同主席，以及ICSE、FSE、ASE、ISSTA、ICSME、SANER等会议程序委员会委员。

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

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

个人简介：张洪宇，重庆大学大数据与软件学院教授、院长、弘深杰出学者，IEEE Fellow，获得国家级人才计划支持。主要研究方向是智能化软件工程，软件数据挖掘和软件维护。在国际著名会议和期刊上发表了300多篇论文，获得过10多次ACM杰出论文奖和最佳论文奖，以及2次ICSE 最有影响力实践论文奖（Most Influential SEIP Paper）。担任2024年亚太软件工程会议（APSEC 2024）和2020年国际软件维护会议（ICSME 2020）的大会主席，以及多个国际期刊的编委。他也是ACM杰出会员，CCF杰出会员，澳洲工程师协会会士和David Parnas Fellow。

报告题目：人工智能时代操作系统的机遇与挑战

报告摘要：人工智能尤其是大模型已成为全球技术焦点。本报告首先从操作系统发展历程总结出智能时代操作系统的主要特征，然后从OS for AI和OS wtih AI两个维度介绍当前学术界和产业界的相关进展，最后介绍麒麟团队在OS+AI方面取得的成果。

个人简介：余杰，国防科技大学计算机学院研究员、博士生导师，国家重点研发项目首席科学家，担任基础软件教育部工程研究中心常务副主任、openKylin开源社区副主席、全国研究生操作系统开源大赛专委会秘书长、中国电子学会计算机分会副主任委员兼总干事。主要研究方向为操作系统、人工智能，承担国家和省部级项目10余项，研制了麒麟系列操作系统，获得国家科技进步一等奖1项、省部级科技进步特等奖2项、一等奖3项。入选湖南科技领军人才等，获中国杰出开源人物、中国开源先锋人物等称号。带领团队在TKDE、SCIS、AAAI、ICPP、ACL、NIPS等国际顶刊/顶会发表学术论文50余篇，申请国家发明专利30余项，培养博士、硕士30余人。

报告题目：领域知识驱动的智能化软件质量保障

报告摘要：以大模型为代表的人工智能技术被越来越多地用于解决程序测试、缺陷修复等软件质量保障问题。在模型训练过程中，通常将代码等数据以文本形式进行处理，导致人工智能模型难以捕获程序中蕴含的深层次语义，因而影响了在实际任务处理中的性能表现。本报告介绍将代码属性图、程序属性特征和专业机理等领域知识与人工智能方法进行结合的智能化软件质量保障技术，旨在通过领域知识的引入提高人工智能模型的任务处理效果，具体介绍近期在测试生成、缺陷检测、缺陷定位与修复方面开展的工作，并对智能化软件质量保障的未来发展进行展望。

个人简介：孙海龙，北京航空航天大学教授。目前担任北航杭州创新研究院副院长、中国计算机学会协同计算专委副主任，入选国家级青年人才计划。主要研究群体智能、智能软件工程和开源软件等方向，主持国家重点研发计划项目、国家自然科学基金专项重点项目等十余项国家级科研任务。在TOSEM、ICSE、ICML、KDD和OSDI等发表论文100余篇，获得国际会议最佳/杰出论文奖5项，主编国家“十四五”规划教材一部。曾获2项国家技术发明二等奖、4项省部级科技进步一等奖和1项中国电子学会科技进步一等奖。

报告题目：基于大模型程序动态分析的调试和修复技术研究

报告摘要：自动程序修复（APR）旨在自动生成正确的补丁以修复缺陷，从而降低开发和调试成本。近年来，大语言模型（LLM）和智能体技术在APR领域的应用取得了显著进展。本报告将介绍我们提出的基于大模型程序动态分析的调试和修复技术研究工作。Srepair采用双模型框架和思维链根因分析实现函数级程序自动修复效果的显著提升。RustForger针对Rust语言的独特挑战，通过构建专用的大规模基准测试集Rust-SWE-bench，并采用隔离测试与基于元编程的动态追踪技术来解决Rust程序问题。ADI引入了一种以智能体为中心的调试接口，该接口基于函数级交互和帧生命周期追踪，能够无缝集成到现有智能体中，带来自动Debugging的性能提升。

个人简介： 张煜群，南方科技大学计算机科学与工程系长聘副教授。主要研究方向包括软件测试与分析和面向人工智能的软件工程。发表软件工程CCF-A级论文40余篇，曾荣获两项ACM SIGSOFT杰出论文奖（ISSTA 2019及ICSE 2025）以及一项IEEE TCSVC杰出服务奖（2025）。

联系人：孟欣

电话：15545980503

论坛报名方式：请扫描二维码报名