PKU-SEI 郝丹 教授
报告生成时间：2026年8月20日
个人主页：郝丹
所属团队：北京大学计算机学院软件工程研究所 / 高可信软件技术教育部重点实验室
一、学者基本信息
| 项目 | 信息 |
|---|---|
| 姓名 | 郝丹（Dan Hao） |
| 职务与职称 | 北京大学博雅特聘教授、博士生导师、硕士生导师；公开报道显示其兼任北京大学深圳研究生院信息工程学院副院长。 |
| 研究领域 | 软件工程，重点为软件测试、调试、维护、测试用例优先级排序与化简、测试预言、编译器测试、变异测试。 |
| 学术身份 | CCF 杰出会员、ACM Distinguished Member；2026 年当选 IEEE Fellow，表彰语为“对软件测试和调试领域作出贡献”。 |
| 研究平台 | 北京大学软件工程研究所是高可信软件技术教育部重点实验室主体单位；郝丹在该软件工程共同体内开展测试与质量保障研究。 |
| 代表性产出 | 校方近期介绍称其在顶级会议与期刊发表代表性论文 80 余篇；较早网页的“30余篇”“40余篇”均为不同统计时点，故不作跨年份合并计数。 |
| 资料边界 | 本报告以高校、研究所、学生任职单位和会议官网等公开资料为据。题设给定的个人主页链接当前解析为另一位教师页面，故正文改用北大教师主页、学院和研究所页面交叉确认身份。 |
郝丹的研究主线可概括为“以可扩展测试和诊断技术支撑高可信软件生产”。早期重点包括测试用例排序/化简、测试预言与变异测试；此后延伸至编译器测试，并与智能化软件开发、可信代码生成等问题衔接。北京大学早期英文主页对上述四类研究方向给出了较完整的技术概述。
二、教育背景与职业履历
郝丹于 1998—2002 年在哈尔滨工业大学取得学士学位，2002—2008 年在北京大学取得博士学位；这两段经历由北京大学计算机学院页面与早期英文主页相互印证。其博士阶段的公开资料尚不足以可靠确定唯一导师：梅宏、张路、谢冰等均属于其博士阶段所在的北大软件工程学术共同体，且梅宏、张路、谢涛（Tao Xie，时在美国北卡州立大学，后加入北大软工所）等出现在其早期测试论文的合著网络中；但检索到的校方履历未明确标注“博士导师”。因此，本报告不将三者中的任何一位表述为已证实导师。
博士毕业后，郝丹在北京大学软件工程/计算机学科体系内任教并逐步晋升。早期网页记载其为副教授；截至报告时点，官方信息显示其为博雅特聘教授、二级教授，并在深圳研究生院信息工程学院任副院长。软件工程研究所简介显示，该所从 2012 年起由谢冰担任所长；因此“郝丹担任软工所副所长”的说法缺少官方支撑，不能采信。公开页面反而明确标注软件所副所长的是熊英飞。
荣誉履历也需要区分：2015 年获国家优秀青年科学基金、2016 年获青年长江学者、2021 年获长江学者特聘教授，均载于北大教师主页。未检索到其入选“教育部新世纪优秀人才支持计划”的可靠公开依据；研究所名单中该计划列有谢冰、王千祥、张路、黄罡、周明辉，而未列郝丹。因此，该项不应归于郝丹。亦未找到可验证其担任“CCF 软件工程专委秘书长”的官方记录。
三、学生培养情况
北京大学软件工程研究所实行“导师集体负责制”：研究生入所后再与潜在导师协商确定指导关系，博士生另设由导师主持的博士委员会。这意味着“在所学生名单”不能直接等同于某一位导师的学生名单。以下优先列出公开页面明确标注导师或可由公开履历确认的培养关系；其余条目明确保留证据边界，以避免把合作者或同届学生误记为直属学生。
| 学生/培养对象 | 学位阶段与时间 | 公开可确认的关系与研究 | 毕业/去向 |
|---|---|---|---|
| 董谨豪 | 北大计算机学院计算机软件与理论博士，2020—2025 | 中国人民大学官方访谈明确写明“师从郝丹老师”。博士期间研究可信智能软件开发、代码大模型与代码智能体；2023—2024 年在新加坡国立大学访问，合作对象包括孙军、林云、董劲松。 | 2025 年 8 月入职中国人民大学信息学院数据工程与知识工程教育部重点实验室，任讲师；同时参与小米大模型相关工作。其博士论文获 2025 年北大计算机学院优秀博士论文。 |
| 臧林飞（Linfei Zang） | 北大软件工程研究所硕士，2014 入学、2017 毕业 | 研究所校友名单在 2017 届硕士项下标为“Linfei Zang (Dan Hao)”，是可公开核验的直属培养记录。 | 该公开名册未公布其后续任职；为避免同名误配，本报告不推断去向。 |
| 臧磊（Lei Zang） | 北大软件工程研究所硕士，2016 毕业 | 同一校友名册在 2016 届硕士项下标为“Lei Zang (Dan Hao)”。 | 校友名册未载明去向；不作推断。 |
| 王国庆 | 博士阶段，至少 2024 年仍有学术活动记录 | 非校方的二手人物资料称其为郝丹指导的博士生，且称其研究成果被 ISSTA 2024 接收；但未检索到院系名单或本人主页的独立确认。 | 去向未能可靠核验，故仅作为“待进一步核实的培养对象”记录，不据此计算学生数量或产出。 |
| 郝丹课题组科研助理岗位所覆盖的研究人员 | 非学位培养岗位 | 深圳研究生院招聘公告确认课题组由郝丹负责，工作内容含科研测试、实验、调研与实验室管理。这说明其团队除学位生外也吸纳科研辅助人才。 | 公告不披露个人姓名、周期和去向，不能外推为研究生培养名单。 |
以上公开可确认的具名直属学生仅有三人（含一名博士、两名硕士）。不宜为满足数量要求而把软件所按入学年份公布的几十名学生直接分配给郝丹；例如 2019 级博士生名单只是全所名单，并不标注导师。董谨豪案例显示出较鲜明的培养路径：从软件测试/可信软件基础，向可信代码生成、合并冲突解决与 Code Agent 延展，并通过新加坡国立大学访问形成国际共同指导网络。
四、学术合作网络
4.1 北大软件工程共同体内合作
郝丹处于以软件工程研究所和高可信软件技术教育部重点实验室为枢纽的合作网络。该所覆盖系统软件、软件工程、智能化软件、程序分析等方向，实行集体导师制；因此，合作既来自论文，也来自共同平台、课程与人才培养活动。
- 梅宏：是郝丹博士阶段所在北大软件工程共同体的重要学术带头人。可核验的早期论文《Test Input Reduction for Result Inspection to Facilitate Fault Localization》（ASE，2009）由梅宏、张路、谢涛（Tao Xie）、郝丹等合著，构成“测试输入约减—故障定位”方向的直接论文连接。该事实支持合作关系，但不足以单独证明师生关系。
- 张路：是软件测试方向最紧密的北大同事之一。上述 2009 年论文体现两人早期共同研究；两人同属北大软件工程导师序列。将其称为“长期研究共同体合作者”较稳妥；公开检索未支持把每一项成果都归因于二人直接合作。
- 谢冰：担任软件工程研究所所长，提供组织与平台层面的连接。郝丹与谢冰同列于北大软件工程导师和软件科学与工程系教学研讨会参与者；可确认其在学科建设、课程讨论和共同研究环境中的连接，但本轮检索未发现足以量化两人共同论文频次的完整书目证据。
- 熊英飞：同属北大软件工程/软件研究所网络，研究接口位于程序分析、程序修复与智能化开发。二人共同参加 2026 年软件类课程 AI 化研讨会；熊英飞的自动修复研究与郝丹的测试/调试研究互补。公开材料显示其为软件所副所长，故不应误移植为郝丹的行政职务。
4.2 跨机构学术连接
跨机构网络以国际软件工程会议组织、论文共同体和学生访问为三条通道。
- 国际会议与社区治理：郝丹曾任或将任 ASE 2021、SANER 2022、ICST 2023、ICSME 2025、ISSTA 2027 的程序委员会联合主席，并任 ASE、ISSTA 指导委员会成员。这些角色将其稳定嵌入 ICSE、FSE、ASE、ISSTA 等国际软件工程社区。
- 新加坡国立大学（NUS）：董谨豪在 NUS 访问期间与孙军、林云、董劲松合作，围绕可信代码生成和合并冲突解决开展研究；这是由学生流动带动的、可追溯的跨机构连接。
- 国际研究机构网络：软件工程研究所公开列举 MIT、UC Berkeley、UIUC、Yale、Ohio State、东京大学、NII、滑铁卢大学、悉尼科技大学、Queen's University、Westminster 等为长期学术联系单位。该信息应理解为研究所层面的合作资源，而非对郝丹个人逐一存在项目合作的断言。
4.3 研究主题与协作结构
其协作网络围绕“测试成本—测试预言—系统软件可靠性”逐层展开：测试用例排序与化简对应工程成本控制；变异测试评估测试充分性；测试预言与蜕变关系处理“正确输出难以预先给定”的核心问题；编译器测试将方法扩展至基础软件。近年的可信代码生成、Code Agent 等方向则把测试与调试能力延伸到 AI 生成代码的验证与修复链条。由此，张路等测试研究者、熊英飞等程序分析/修复研究者、以及 NUS 的可信软件研究者形成互补网络。
五、业界合作关系深度分析
5.1 已公开的应用场景与企业网络
应区分“郝丹个人成果应用”与“软件工程研究所整体产学研伙伴”。前者，北大及深圳研究生院公开介绍称，郝丹的软件测试与调试成果已投入航天、电力、税务、搜索等软件系统测试过程；这证明研究面向高可靠、任务关键和大规模软件场景，但公开材料未公布具体项目名称、委托单位、合同规模或技术部署细节，不能据此虚构客户名单。
后者，软件工程研究所官网列举华为、神州数码、金蝶中间件、中创软件、IBM 中国研究院、微软亚洲研究院、Avaya Lab 等合作伙伴，并说明研究所承担企业合作项目。该清单可作为郝丹所在平台的产业网络，而不能自动等同为她与每一家企业的个人、持续项目合作。
其中，华为与郝丹的直接公共学术连接较清晰：她曾在“CCF 走进华为”基础软件研讨场合作《数据驱动的编译器测试关键技术研究》报告。该事实表明其研究进入企业基础软件讨论场域；但不代表已公开证实的联合研发项目或产品部署。
5.2 合作深度、价值与证据边界
从研究内容看，业界价值主要有三层。
- 降本增效层：测试用例优先级排序、化简和预测性变异测试，直接对应回归测试资源紧张、用例集膨胀和评估成本高的问题。
- 高可靠性层：测试预言、蜕变关系、故障定位和编译器测试适用于输出难判定、错误代价高或底层依赖复杂的场景，因而与航天、电力、税务、搜索等公开应用类别相匹配。
- 智能化开发层：董谨豪的可信代码生成/Code Agent 培养案例显示，团队正把质量保障前移至生成式开发流程；对企业而言，潜在价值在于将生成、测试、修复与验证闭环化。
公开资料没有披露郝丹与腾讯、阿里、百度、微软、华为等企业的逐项联合论文、专利许可或合同信息。报告因此只将“平台级伙伴关系”“公开技术交流”和“成果已应用的行业类别”分别陈述，不将其夸大为排他性企业合作、商业顾问关系或产品采购关系。
六、重要奖项与学术兼职
| 类别 | 已核验事项 |
|---|---|
| 人才计划与会员荣誉 | 2015 年国家优秀青年科学基金获得者；2016 年青年长江学者；2021 年长江学者特聘教授；CCF 杰出会员；ACM Distinguished Member；2026 年 IEEE Fellow。 |
| 科研与论文荣誉 | 校方介绍列有中国电子学会自然科学一等奖、吴文俊人工智能科学技术二等奖和多次 ACM SIGSOFT Distinguished Paper Award；早期会议介绍明确提到三次杰出论文奖。 |
| 期刊服务 | 公开页面列有 ACM Transactions on Software Engineering and Methodology、ACM Computing Surveys、IEEE Transactions on Software Engineering、Empirical Software Engineering、Automated Software Engineering 等编委/副编委角色，并任 Software Testing, Verification & Reliability 副主编。不同页面反映不同任期，故不将其全部表述为同一时点的现任名单。 |
| 会议服务 | ASE 2021、SANER 2022、ICST 2023、ICSME 2025、ISSTA 2027 程序委员会联合主席；ASE、ISSTA 指导委员会成员；曾任 SPLC 2018 大会联合主席、AST 2015 程序委员会联合主席。 |
特别说明两项易混信息：其所在研究所页面将“教育部新（跨）世纪人才计划”列给谢冰、王千祥、张路、黄罡、周明辉，未列郝丹；也未找到其担任 CCF 软件工程专委秘书长的可靠来源。因此二者均不列入个人兼职/荣誉。
七、Connection圈层总结
第一圈层：北大软件工程学术共同体。 郝丹以北大软件工程研究所、高可信软件技术教育部重点实验室为核心平台，与梅宏、张路、谢冰、熊英飞等形成方向互补的近距离网络：从测试、调试到程序分析、修复与可信软件生产。
第二圈层：学生与青年研究者。 已公开可确认的直属培养记录包括董谨豪、臧林飞和臧磊。董谨豪从北大博士、NUS 访问到人大任教的轨迹，尤其体现出“软件工程基础—可信 AI 软件开发—高校与产业连接”的人才扩散路径；其余学生的后续去向须等待可靠公开履历补充。
第三圈层：国际软件工程共同体。 通过 ASE、SANER、ICST、ICSME、ISSTA 等会议组织和期刊编委工作，郝丹与国际测试、软件维护、实证软件工程及自动化软件工程社群形成持续连接；NUS 访问合作是可具体落点。
第四圈层：产业与关键行业。 网络以高可信软件的应用需求为牵引，公开可见的行业落点为航天、电力、税务和搜索，平台级企业伙伴包括华为、神州数码、IBM 中国研究院、微软亚洲研究院等。其关系的核心价值不在于已公开的商业规模，而在于将测试、调试和编译器质量保障方法迁移至复杂系统；具体合作深度仍应逐项目、逐成果核验。