马威 (Wei Ma)，博士
我是瑞典布莱金厄理工学院（BTH）软件工程系的终身教轨助理教授（Associate Senior Lecturer, Tenure Track），也是 ELLIIT 研究员。ELLIIT 是瑞典在信息技术与移动通信领域的国家级战略研究平台。我的研究方向涉及 AI for Software Engineering 和网络安全，关注大模型参与软件开发和运行后的可信问题。
这个方向的成果获得了多个奖项。我的一作论文《Test Selection for Deep Learning Systems》获得了 ACM TOSEM 五年杰出论文奖（2026）——该奖项从软件工程旗舰期刊五年间的全部论文中遴选而出。我参与的工作还获得了 ICSE 2025 工业赛道最佳论文奖、ML4CS 2025 最佳论文奖，以及 ICSME 2020 IEEE 计算机学会 TCSE 杰出论文奖。研究成果被引用 1,700 余次（h-index 19），发表在软件工程、安全与人工智能领域的会议和期刊上：ICSE、FSE、ISSTA、ASE、TOSEM、TSE、TIFS、EMSE 和 IJCAI，其中包括 ICSE 2026 的两篇论文。
我重视可落地的系统。MazeBreaker 用多智能体强化学习攻破大模型的安全防御；AgentGuard 在真实软件生态中捕猎包混淆型供应链攻击；CKGFuzzer 把代码知识图谱转化为生产环境可用的 fuzz driver，获得了工业赛道最佳论文奖；我基于大模型的智能合约审计系统在已部署的 DeFi 协议中发现了真实漏洞。这些工作覆盖程序分析与 AI 驱动的软件安全、智能合约审计与 DeFi 治理、大规模模糊测试与漏洞检测，以及面向可信 AI 的变异测试。
我在卢森堡大学获得博士学位，师从 Yves Le Traon 教授 和 Mike Papadakis 教授，在软件测试方向打下基础。随后我在新加坡管理大学（SMU）任研究科学家，与 Lingxiao Jiang 教授 合作；在南洋理工大学（NTU）任研究员，与 Yang Liu 教授 和 Yi Li 教授 合作，在新加坡顶尖的软件安全团队工作了四年。目前我担任 Automated Software Engineering 期刊副编辑、ACM TOSEM 评审委员会成员。
我持续欢迎优秀的合作者与有志于科研的学生。联系方式：weima93@gmail.com。
最新动态
- 论文 ProCURE: Addressing the Programming Concept Understanding Gap for Code Generation in LLMs via Concept-Aware Consistency Learning 被 IJCAI 2026 录用。
- 论文 LIMR: Intent-Aware Mashup API Recommendation via LLM-Augmented Multi-Scale Fusion 被 TSC 录用。
- 论文 Towards Secure Program Partitioning for Smart Contracts with LLM’s In-Context Learning 被 TSE 录用。
- 受邀担任 APSEC 2026 程序委员会委员。
- 受邀担任 MSR 2027 程序委员会委员。
- 受邀担任 ICSE 2027 程序委员会委员。
- 论文 Test Selection for Deep Learning Systems 获 ACM TOSEM 2026 五年杰出论文奖。
- 团队工作 AgentGuard 获第七届机器学习与网络安全国际会议（ML4CS 2025）最佳论文奖。
- 一篇论文被 SANER 2026 录用。
- 论文 Runtime Verification of Tactical Data Link 获 ISSRE 2025 工业赛道最佳论文提名。
- 受邀请，加入 ACM TOSEM 评审委员会。
- 论文 Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios 被 ICSE 2026 录用。
- 论文 Detecting DeFi Fraud with a Graph-Transformer Language Model 被 IEEE TIFS 录用。
- 论文 MazeBreaker: Multi-Agent Reinforcement Learning for Dynamic Jailbreaking of LLM Security Defenses 被 ICSE 2026 录用。
研究方向
🔒 网络安全
- 软件安全与漏洞检测：面向软件系统安全漏洞的识别与缓解技术
- Web3 与区块链安全：智能合约审计、DeFi 治理分析、去中心化系统安全
- AI 驱动的安全：用机器学习实现自动化安全分析与威胁检测
- 代码模型安全：面向软件工程大模型的对抗攻击与防御
🔧 软件工程
- 软件测试：变异测试、模糊测试与系统化的质量保障方法
- 可信 AI：鲁棒性评估、可解释性分析与可靠的 AI 系统部署
- 代码智能：代码基础模型的语法-语义建模与可控性分析
- 程序分析：面向程序理解与验证的静态及动态分析技术
代表性成果
- 🏆 奖项与荣誉：ACM TOSEM 2026 五年杰出论文奖；ML4CS 2025 最佳论文奖；ICSE 2025 工业赛道最佳论文奖；ICSME 2020 TCSE 杰出论文奖
- 🔍 审计与治理：面向智能合约安全的可解释审计发现与审计流程；覆盖主流 DeFi 应用的大规模实证研究
- 🛡️ 产业落地：代码知识图谱驱动的模糊测试与崩溃根因分析
- 🤖 MazeBreaker：基于多智能体强化学习的大模型防御动态越狱（ICSE 2026）
- ⚡ 面向安全的大模型：代码模型的攻击与加固；软件供应链安全；面向代码与系统的可信鲁棒 AI
工作经历
- 终身教轨助理教授，瑞典布莱金厄理工学院（BTH）（2026 年 5 月 – 至今）
- 研究科学家，新加坡管理大学（2024 年 10 月 – 2026 年 5 月）
- 研究员，南洋理工大学（2022 年 10 月 – 2024 年 10 月）
- 研究助理，卢森堡大学（2022 年 5 月 – 2023 年 9 月）
学术服务
- 副编辑，Automated Software Engineering (Springer)
- 评审委员会，ACM TOSEM
- 程序委员会：ICSE 2027、MSR 2027、APSEC 2026、ISSTA 2024
- 审稿人：TOSEM、TSE、EMSE、JSS、JSA、KNOSYS、ASE NIER
论文发表
代表性论文见论文列表页；完整列表请见我的 Google Scholar 主页。