天津大学 姜佳君 副研究员
报告生成时间：2026年8月20日
个人主页：公开独立个人主页未检索到，参见天津大学智能与计算学部
所属团队：天津大学智能与计算学部软件工程团队（TJU-WISE Lab/智慧软件工程团队）
一、学者基本信息
| 字段 | 信息 |
|---|---|
| 姓名 | 姜佳君（Jiajun Jiang） |
| 出生年份 | 公开资料未披露 |
| 职称 | 副研究员（长聘副教授，Co-Appointed Research Professor），博士生导师 |
| 所属单位 | 天津大学智能与计算学部软件学院 |
| 实验室职务 | 智慧软件工程团队（TJU-WISE Lab）核心成员 |
| 学术头衔 | CCF会员、CCF软件工程专委委员 |
| 国家级人才 | 公开资料未检索到可据以确认的国家级人才称号 |
| 其他任职 | 2022年中国软件大会（ChinaSoft）专刊编委；ISSTA 2019志愿者主席；ICSE'24、SANER'23、ISSRE'22、ASE'21等国际会议程序委员会委员及session主席；TSE、TOSEM、EMSE、STVR等期刊审稿人 |
| 邮箱 | jiangjiajun@tju.edu.cn |
| 研究方向 | 软件测试与分析，包括软件缺陷自动定位、缺陷自动修复、深度学习系统调试、程序变换；近期扩展至大语言模型辅助程序修复、编译器缺陷检测与代码模型鲁棒性 |
姜佳君现为天津大学智能与计算学部长聘副教授、副研究员、博士生导师。据其个人主页及天津大学智能与计算学部师资页，其主讲课程为《编译原理与技术》，研究方向聚焦程序分析、软件调试、缺陷检测、故障定位与程序修复。他也是天津大学新媒体与传播学院2026级工程博士导师之一，体现了其跨学部的研究影响力。
二、教育背景与职业履历
姜佳君的学术训练横跨西北工业大学与北京大学，职业发展则在天津大学完成，是典型的"西工大本科—北大博士—天大建组"的青年学者路径。
教育背景：
- 2011年9月至2015年7月：就读于西北工业大学计算机学院，获计算机科学与技术学士学位。
- 2015年9月至2020年7月：就读于北京大学软件研究所，获计算机软件与理论博士学位。据其个人主页明确记载，博士导师为熊英飞（Yingfei Xiong）教授、胡振江（Zhenjiang Hu）教授和陈向群（Xiangqun Chen）教授。其中熊英飞为北京大学新体制长聘副教授，研究方向为程序设计语言与软件工程（程序合成、修复与分析），与姜佳君的程序修复研究方向直接对应。
博士期间海外访问与实习经历：
- 2017年6月至12月：以访问博士生身份赴澳大利亚纽卡斯尔大学（The University of Newcastle, AU），在张宏禹（Hongyu Zhang）教授指导下开展合作研究。
- 2019年1月至5月：以访问研究学者身份赴美国德克萨斯大学达拉斯分校（The University of Texas at Dallas），在Lingming Zhang教授指导下开展合作研究。Lingming Zhang现为伊利诺伊大学香槟分校（UIUC）副教授，是软件测试与程序修复领域的国际活跃学者。
- 2019年7月至10月：在微软亚洲研究院（Microsoft Research Asia）DKI（Data, Knowledge, Intelligence）组任研究实习生，导师为林庆维（Qingwei Lin）。
职业履历（时间线）：
- 2020年7月至2023年12月：加入天津大学智能与计算学部，任预聘制副研究员（Tenure-track Associate Professor）、硕士生导师。
- 2024年1月至今：晋升为长聘副教授（Associate Professor with Tenure）、兼任研究员（Co-Appointed Research Professor）、博士生导师。
- 主讲课程：《编译原理与技术》。
姜佳君于2020年博士毕业即加入天津大学软件工程团队，与同在北大的陈俊洁（2019年先期入职）形成团队成员的自然衔接。其研究方向以程序修复和缺陷定位为核心，与陈俊洁的数据驱动测试与调试方向互补，构成了团队在"测试—定位—修复"全链条上的技术覆盖。
三、学生培养情况
姜佳君自2020年在天津大学独立培养研究生以来，以其程序修复与程序分析的研究方向为核心，指导和共同指导了多名学生。以下为公开来源可确认的核心学生情况：
1. 杨晨（2022级硕士生，姜佳君与陈俊洁共同指导）
杨晨是姜佳君与陈俊洁共同指导的标志性学生。杨晨为天津大学智能与计算学部2018级本科生，本科期间即进入软件工程团队，在姜佳君与陈俊洁的联合指导下开展程序修复方向研究。其参赛成果《Accelerating Redundancy-Based Program Repair via Code Representation Learning and Adaptive Patch Filtering》（基于代码表示学习与自适应补丁过滤的程序修复加速技术AccPR）荣获ESEC/FSE 2021学生科研竞赛（SRC）本科生组金牌。2022年6月，ACM发布2022年度SRC全球总决赛结果，杨晨获得全球季军（本科生组），这是天津大学学生首次获得该比赛荣誉奖项。杨晨此后继续在团队攻读硕士研究生（2022级），并在2024年以第一作者身份发表论文于程序设计语言领域顶级会议OOPSLA 2024（天津大学在程序设计语言领域顶级会议上的首篇论文），指导教师为陈俊洁（通讯作者）与姜佳君，研究面向代码自然性开展。杨晨的成长轨迹清晰呈现了"本科科研入门—SRC获奖—研究生阶段顶会论文"的培养链条，是姜佳君学生培养的代表性成果。
2. 李丰杰（硕士生，姜佳君指导）
李丰杰（Fengjie Li）为姜佳君指导的研究生，据姜佳君个人主页的发表论文记录，李丰杰作为第一作者或核心作者在多篇论文中出现，包括ICSME 2025论文《Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining》（获IEEE TCSE杰出论文奖，姜佳君为第一作者、李丰杰为第二作者）、TOSEM 2025论文《Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis》（李丰杰为第一作者，姜佳君为通讯作者）以及ICSE 2025 NIER论文《Evaluating the Generalizability of LLMs in Automated Program Repair》（李丰杰为第一作者，姜佳君为通讯作者）。李丰杰的研究方向为大语言模型与程序分析结合的自动程序修复，是姜佳君在LLM辅助软件工程方向的核心学生骨干。
3. 韩佳晨（硕士生/博士生，姜佳君指导）
韩佳晨（Jiachen Han）为姜佳君指导的学生，据个人主页论文记录，其在TOSEM 2026论文《Intent-Aware Defect Pattern Extraction from Singular Examples》中担任第一作者，姜佳君为通讯作者，合作者包括熊英飞、陈俊洁等。该研究提出从单一样例中自动学习可复用缺陷检测模式的方法，提升了方法在实际应用中的可用性。韩佳晨的研究方向为缺陷检测模式提取与自动程序修复，是姜佳君在缺陷自动发现方向的学生骨干。
4. 李松睿（学生，姜佳君指导）
李松睿（Songrui Li）为姜佳君指导的学生，据个人主页论文记录，其在FORGE 2026论文《Jailbreaking Large Language Models via Multi-Task Embedding-based Prompt》中担任第一作者，姜佳君为通讯作者；在TOSEM 2026论文《Enhancing Code Model Robustness Against Identifier Renaming via Unified Code Normalization》中担任第二作者，姜佳君为第一作者兼通讯作者。李松睿的研究方向涉及大语言模型安全与代码模型鲁棒性，是姜佳君向AI安全方向扩展的新一代学生。
5. 索晨遥、王永嘉（学生，姜佳君与陈俊洁共同指导）
索晨遥（Chenyao Suo）和王永嘉（Yongjia Wang）出现在OOPSLA 2025论文《DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure》的作者列表中，该论文由陈俊洁担任通讯作者，姜佳君为共同作者。论文提出了一种创新的MLIR编译器基础设施静默缺陷检测方法。姜佳君个人主页特别提到"Congrats to Chenyao, Yongjia, and Qingchao"，表明这些学生在该工作中发挥核心作用。他们与沈庆超（Qingchao Shen，陈俊洁指导的博士生）共同构成了团队在编译器缺陷检测方向的协作网络。
6. 仓颉编译器团队研究生（团队共同培养）
天津大学官方新闻明确记载，自仓颉编程语言诞生五年来，陈俊洁教授、王赞教授、姜佳君研究员带领赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生开展仓颉编译器测试工作。该名单证实了姜佳君在团队研究生集体培养中的角色，但新闻未逐人标注每位学生的导师归属，因此不能将上述学生全部归为姜佳君独立指导；更准确的表述是姜佳君与陈俊洁、王赞共同领导了这一研究生团队。
四、学术合作网络
4.1 实验室内部合作（天津大学TJU-WISE Lab）
姜佳君在团队内部与陈俊洁、王赞构成核心协作关系：
- 陈俊洁（教授，团队负责人）：姜佳君与陈俊洁均为北京大学软件研究所培养的博士，学术训练同源。据姜佳君个人主页发表记录，二人合作论文涵盖ICSE 2026、OOPSLA 2025、ICSME 2025、TSE 2025、JOS 2025、TOSEM 2026b、ISSRE 2023、ISSTA 2024、OOPSLA 2024、FSE 2021（Industry Track）等多篇成果，合作方向涵盖编译器缺陷检测、程序修复、缺陷定位与大模型代码生成。二人共同指导杨晨（ESEC/FSE 2021 SRC金牌、OOPSLA 2024），是团队内最紧密的师承—合作关系之一。
- 王赞（教授）：姜佳君与王赞的合作主要围绕仓颉编译器质量保障以及深度学习库测试方向，共同署名论文包括ICSE 2026、TSE 2025、JOS 2025等。三人共同领导华为仓颉编译器测试工作。
- 刘爽（副教授）：姜佳君与刘爽在FSE 2021 Industry Track论文《A Comprehensive Study on Learning-based PE Malware Family Classification Methods》上共同署名，该论文为团队在恶意软件分类方向的代表性工作。
- 沈庆超（博士生，陈俊洁指导）：沈庆超在OOPSLA 2025论文中与姜佳君共同署名，研究方向为深度学习编译器缺陷与MLIR测试，是团队在编译器测试方向的核心学生骨干。
- 尤含默（Hanmo You，博士生）：出现在TOSEM 2026a及FORGE 2026论文作者列表中，研究方向为深度学习系统测试与代码模型鲁棒性。
4.2 跨机构国内合作
- 北京大学导师团队（学术传承核心）：姜佳君的博士导师为熊英飞、胡振江和陈向群三位北京大学教授。其中熊英飞是姜佳君程序修复方向的直接指导者，在姜佳君的TOSEM 2026b论文中仍作为合作者出现，表明师生合作关系从博士阶段延续至今。胡振江现为北京大学教授（后入选国家级人才计划），其研究方向涵盖程序变换与软件工程，与姜佳君的程序变换研究方向直接对应。
- 北京交通大学王博（副教授）：王博博士毕业于北京大学软件所，博士导师为熊英飞，与姜佳君师出同门。王博在姜佳君的ICSME 2025论文中作为合作者出现。二人在编译器测试与程序修复方向保持合作关系，是北大系人脉在天大—北交大之间的延续。
- 华中科技大学文明（副教授）：文明曾与姜佳君共同担任ChinaSoft 2022"软件缺陷的自动发现与修复"论坛组织者，研究方向为软件测试与缺陷定位修复，与姜佳君的研究领域高度重合。
4.3 国际合作
- Hongyu Zhang（张宏禹，新南威尔士大学）：姜佳君于2017年赴纽卡斯尔大学在其指导下访问，此后长期保持合作关系。Hongyu Zhang在姜佳君的ICSME 2025论文中作为合作者出现，是该论文获IEEE TCSE杰出论文奖的重要合作者。二人合作方向为程序修复与软件维护。
- Lingming Zhang（伊利诺伊大学香槟分校）：姜佳君于2019年赴德克萨斯大学达拉斯分校在其指导下访问。Lingming Zhang是变异测试与程序修复领域的国际顶尖学者，姜佳君的博士阶段受其影响显著。
- 微软亚洲研究院：姜佳君于2019年在MSRA DKI组任研究实习生，导师为林庆维（Qingwei Lin）。该经历将姜佳君与智能运维（AIOps）领域的国际研究网络连接起来。
- Xiaofei Xie（谢晓飞）：出现在TOSEM 2026a论文合作者中，现为新加坡科技设计大学（SUTD）/澳大利亚联邦科学与工业研究组织（CSIRO）研究人员，研究方向为程序分析与深度学习测试。
- Ying Xing（邢颖，北京邮电大学）：出现在TOSEM 2026a论文合作者中，研究方向为代码智能与软件工程。
五、业界合作关系深度分析
5.1 华为仓颉编译器质量保障（产业合作核心）
姜佳君与陈俊洁、王赞共同主导的华为仓颉编译器质量保障研究，是其最重要的产业合作关系。据天津大学智能与计算学部官方新闻报道，自仓颉编程语言诞生五年来，团队陈俊洁教授、王赞教授、姜佳君研究员带领赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生，围绕仓颉编译器测试工作开展深入研究，提出数据驱动的仓颉编译器系统化测试框架，涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速技术等多项先进技术。相关成果已部署到仓颉编译器的实际测试中。
这一产业合作的特点在于：三位教师明确分工带队十余名研究生，形成了"教师组—研究生群—企业需求"的多层级协作结构。姜佳君在其中的技术贡献与其研究方向高度吻合——程序变换（测试程序生成）、缺陷定位（测试预言构造）和代码表示学习（测试过程加速）恰好对应其三个核心研究方向。这一合作不仅是单次项目资助，而是持续五年的深度嵌入式协作。
5.2 CCF-华为胡杨林基金（项目负责人）
2024年，姜佳君作为申请人获得CCF-华为胡杨林基金软件工程专项产业挑战类项目资助，课题为"DSL检查规则自动生成技术"（项目编号A1）。该项目属于产业挑战类，要求申请者基于已有学术成果开发原型系统或工具并实际落地到系统中。这一项目表明姜佳君正将其在程序分析与缺陷检测方面的方法积累延伸至领域特定语言（DSL）检查规则的自动生成方向，进一步深化与华为的产业合作。
5.3 微软亚洲研究院（学术实习经历）
姜佳君于2019年在微软亚洲研究院DKI组任研究实习生，导师为林庆维（Qingwei Lin）。该经历虽为博士期间的短期实习，但为其提供了与微软AIOps研究团队连接的机会。CIKM 2021论文（个人主页编号issre23及icse23b附近时段的成果）体现了其在智能运维方向的早期积累。
5.4 创业孵化与成果转化
就公开信息而言，尚未检索到姜佳君本人或其学生基于团队技术成立初创公司的公开记录。其成果转化路径目前主要体现为"技术嵌入企业研发流程"模式：仓颉编译器测试框架进入华为仓颉编译器工具链，CCF-华为胡杨林基金支持DSL检查规则自动生成技术的原型开发与落地。学生培养层面，团队毕业生多进入华为等头部企业或留校从事研究工作。
六、重要奖项与学术兼职
重要奖项：
| 年份 | 奖项 | 说明 |
|---|---|---|
| 2021 | IEEE TCSE杰出论文奖 | 据ChinaSoft 2022论坛官方简介，2021年获得IEEE TCSE杰出论文奖。 |
| 2025 | IEEE TCSE杰出论文奖（ICSME 2025） | 据个人主页，论文《Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining》获此奖。 |
注：2021年IEEE TCSE杰出论文奖的具体论文标题及会议公开信息有限，ChinaSoft简介中仅注明"2021年获得IEEE TCSE杰出论文奖"而未给出具体论文信息。2025年的IEEE TCSE杰出论文奖则明确对应ICSME 2025会议论文。
主要学术兼职：
| 类别 | 职务 |
|---|---|
| 学会任职 | CCF会员、CCF软件工程专委委员 |
| 会议任职 | ISSTA 2019志愿者主席；ICSE'24、SANER'23、ISSRE'22、ASE'21等国际会议程序委员会委员及session主席 |
| 期刊任职 | TSE、TOSEM、EMSE、STVR等期刊审稿人；2022年中国软件大会（ChinaSoft）专刊编委 |
| 论坛组织 | ChinaSoft 2022"软件缺陷的自动发现与修复"论坛组织者（与王博、文明、刘逵、刘辉等联合组织）；ChinaSoft 2023"面向复杂软件的缺陷检测与修复技术"论坛组织者（与张路、刘辉、王博联合组织） |
七、Connection圈层总结
姜佳君的学术关系网络以"北大师承—天大团队—企业落地"为主线，呈同心圆结构：
第一圈层（学术师承，北京大学）：熊英飞、胡振江、陈向群三位北京大学教授构成其博士阶段联合导师团队，其中熊英飞是合作最持久的导师（从博士期间延续至2026年TOSEM论文合作），其程序修复与程序合成方向直接塑造了姜佳君的研究底色。这一师承关系使姜佳君天然接入北大软件工程学术网络。
第二圈层（团队核心协作，天津大学TJU-WISE Lab）：陈俊洁（同为北大出身的团队负责人）是姜佳君最密切的合作者，二人共同指导杨晨等学生，合作论文十余篇；王赞与姜佳君在仓颉编译器质量保障中形成三核心协作结构；刘爽为团队早期合作者。姜佳君在团队中承担程序修复、缺陷定位与程序变换方向的技术角色，与陈俊洁的测试调试方向、王赞的程序分析与DNN测试方向互补。
第三圈层（学生梯队）：杨晨（SRC金牌与OOPSLA 2024一作）是姜佳君共同指导下成长最快的标志性学生；李丰杰在LLM辅助程序修复方向作为第一作者发表TOSEM 2025论文；韩佳晨在缺陷检测模式提取方向发表TOSEM 2026论文；李松睿在LLM安全与代码模型鲁棒性方向发表FORGE 2026论文。仓颉编译器团队的赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生在三位教师共同带领下参与产业级测试研究。
第四圈层（国际与企业合作网络）：Hongyu Zhang（纽卡斯尔大学/现新南威尔士大学）是姜佳君博士阶段访问合作者，也是ICSME 2025杰出论文奖的共同作者，合作关系持续至今；Lingming Zhang（UIUC）是2019年访问合作者，在变异测试与程序修复方向提供学术影响；微软亚洲研究院（林庆维）为其博士阶段实习经历，连接AIOps研究网络；Xiaofei Xie（SUTD/CSIRO）在代码模型鲁棒性方向有最新合作。华为是姜佳君最重要的国内企业合作节点——仓颉编译器质量保障（与陈俊洁、王赞共同领导）和CCF-华为胡杨林基金（DSL检查规则自动生成技术，2024年产业挑战类）构成两条并行的产业合作线。
网络结构特征：姜佳君的学术网络以北大师承为根基、以天大团队为平台、以华为产业合作为出口，呈现"青年骨干+核心团队+强企业绑定"的模式。其与陈俊洁的北大同源关系是团队形成的天然纽带，二人在学生共同指导（杨晨）和论文合作上形成深度互补。相比陈俊洁的全局性网络中心角色，姜佳君的网络更加聚焦于程序修复与缺陷检测的技术纵深，同时在仓颉编译器、DSL检查规则等产业场景中实现技术落地。2023年以来，其研究重心从传统程序修复向大语言模型辅助修复、代码模型鲁棒性与LLM安全方向演进，网络正在向AI基础设施质量保障领域扩展。