跳转至

人大信息学院 何昆 副教授

报告生成时间: 2026年8月

个人主页: https://hekun-theory.com/ (人大官方教师页:http://info.ruc.edu.cn/jsky/szdw/ajxjgcx/jsjkxyjsx1/fjs2/ba47055daaf8425cb6fc42fee12667e5.htm) DBLP: https://dblp.org/pid/59/1028-11.html (Kun He 0011,机构标注 Renmin University of China) Google Scholar ID: Gaw2AbsAAAAJ | 电子邮箱:hekun2023@ruc.edu.cn


一、学者基本信息

何昆,中国人民大学信息学院计算机科学与技术系副教授、中国人民大学杰出学者(2023),2023年7月正式入职,隶属于数据工程与知识工程教育部重点实验室(DEKE)。博士毕业于中国科学院计算技术研究所,曾任中科院计算所特别研究助理(副研究员)、深圳计算科学研究院研究员。获中国科学院院长特别奖(2019)、CCF优秀博士学位论文奖(2020)、中科院计算所"百星"(New Hundred Stars of ICT,2021)、国家奖学金(2018)等荣誉。主要从事理论计算机科学领域尤其是概率方法的研究,据人大官网介绍,其"解决了多个由哥德尔奖得主、莱布尼茨奖得主提出的开放问题",在理论计算机科学顶级会议 STOC、FOCS、SODA 上发表论文多篇。其个人主页明确表示欢迎对理论计算机科学以及"计算机科学中的数学"感兴趣的同学联系,对学术背景没有要求,"希望联系的同学热爱思考,极其勤奋"。

教育与工作经历

时间 机构 职位/学位 备注
2023年7月至今 中国人民大学信息学院(DEKE实验室) 副教授 人大杰出学者(2023)
2023年1月—2023年6月 中国人民大学 客座研究员 入职前过渡期
2021年4月—2022年12月 中科院计算技术研究所 特别研究助理、副研究员 获中科院特别研究助理资助项目
2019年7月—2021年2月 深圳计算科学研究院 研究员 院长为樊文飞院士
2014年2月—2015年8月 中科院计算技术研究所 客座员工 硕士毕业后、再考博士前
2015年9月—2019年6月 中科院计算技术研究所 博士(计算机软件与理论) 导师:孙晓明研究员
2010年9月—2014年1月 中科院计算技术研究所 硕士(计算机应用技术) 硕博连读转入生物信息学方向,后主动放弃读博、延期半年以硕士毕业;硕士导师公开资料未披露
2006年9月—2010年6月 武汉大学计算机学院 本科 湖北农村家庭出身,自述"误打误撞"进入计算机专业

研究方向

  • 概率方法(Probabilistic Methods):核心研究领域,尤其是洛瓦兹局部引理(Lovász Local Lemma, LLL)的构造性版本与算法化
  • 近似计数与采样(Approximate Counting and Sampling):约束满足问题(CSP)解的采样、随机CNF公式的解采样、马尔可夫链蒙特卡洛(MCMC)方法
  • 量子计算(Quantum Computing):量子洛瓦兹局部引理等量子算法理论
  • 理论机器学习:集中不等式及其在机器学习中的应用
  • 其他兴趣(据个人主页 research 页):构造性/量子洛瓦兹局部引理、Holant问题的FPTAS、Sinkhorn-Knopp算法的相变

主持科研项目

  • 国家自然科学基金青年项目:"关于构造版本洛瓦兹局部引理的关键猜想及其应用的研究",负责人
  • 中国科学院特别研究助理资助项目,负责人

二、DBLP数据统计

身份确认与消歧说明

DBLP上 "Kun He" 同名作者多达13个消歧条目(另有"Kun He"消歧主页 pid 59/1028)。经核实,本报告对象对应身份为 pid 59/1028-11(Kun He 0011),消歧依据如下:

  1. 机构标注:该 pid 的 DBLP 档案明确标注机构为 "Renmin University of China, China",与何昆现单位一致(人大其他学院无同名理论CS教师);
  2. 研究方向匹配:该 pid 名下全部论文均为理论计算机科学主题(LLL、采样、计数、量子计算、敏感度复杂性等),与人大官网及个人主页披露的代表性论文清单逐条吻合——官网列出的 SODA'23 三篇、FOCS'22、STOC'21、ITCS'21 等论文均出现在该 pid 名下;
  3. 外部链接:该 pid 档案挂接的 Google Scholar 链接(user=Gaw2AbsAAAAJ)与个人主页邮箱域(hekun2023@ruc.edu.cn,2023年入职时间吻合)相互印证。

注意与以下同名者区分:Kun He 0001(何琨,华中科技大学,数据挖掘方向)、Kun He 0003(Facebook Reality Labs)、Kun He 0008(武汉大学)等。另需与本实验室(DEKE)的何军教授为不同人,二者无关联。

DBLP发表记录统计

据 DBLP 完整 XML 记录(截至2026年8月,共 30 条记录),其中正式发表(会议/期刊)15 篇,arXiv/ECCC 预印本 15 条(多为正式版的预印版本,去重后独立研究成果约 16 项)。按正式发表年份分布:

年份 正式论文数 代表性会议/期刊
2017 2篇 FOCS(变量版LLL超越Shearer界)、COCOON
2019 3篇 STOC(量子LLL)、Algorithmica、Theor. Comput. Sci.
2020 1篇 Sci. China Inf. Sci.
2021 2篇 STOC(局部引理域内采样)、ITCS
2022 1篇 FOCS(近线性时间采样LLL)
2023 3篇 SODA×3(随机CNF采样、Moser-Tardos超越Shearer界、确定性计数LLL)
2025 1篇 SODA(对数凹签名Holant问题FPTAS)
2026 2篇 SODA(Sinkhorn-Knopp算法相变,独立作者)、Inf. Comput.(变量版LLL期刊版)

顶级会议分布:STOC×3、FOCS×2、SODA×5、ITCS×1、COCOON×1;期刊:Information and Computation、Science China Information Sciences、Algorithmica、Theoretical Computer Science。值得注意的是,2026年 SODA 论文为其首篇独立作者顶会论文,且 2024—2026 年的合作网络已明显转向人大自主团队(Zhidan Li、Guoliang Qiu)与上海交大(Chihao Zhang)。

代表性成果(理论CS惯例按姓氏字母序署名):

  • FOCS 2017:"Variable-Version Lovász Local Lemma: Beyond Shearer's Bound"(与 Liang Li、Xingwu Liu、Yuyi Wang、Mingji Xia)——证明变量版LLL的Moser-Tardos型算法可超越Shearer界
  • STOC 2019:"Quantum Lovász Local Lemma: Shearer's Bound is Tight"(与 Qian Li、Xiaoming Sun、Jiapeng Zhang)——量子LLL中Shearer界的紧致性
  • STOC 2021 / FOCS 2022 / SODA 2023 系列(与 Yitong Yin、Weiming Feng、Chunyang Wang 等)——LLL域内约束满足解的近线性时间采样与确定性计数,代表LLL采样方向的国际前沿水平
  • SODA 2026:"Phase transition of the Sinkhorn-Knopp algorithm"(独立作者)

核心合作者统计(基于DBLP全部30条记录,含预印本)

合作者 DBLP pid 合作次数(正式/含预印本) 合作年份 身份/所属机构
Xiaoming Sun(孙晓明) 87/285-1 4 / 10 2016—2024 中科院计算所研究员,博士导师,CCF会士
Qian Li(李乾) 69/5902-12 5 / 9 2016—2023 计算所同门博士(2018届),曾任阿里巴巴高级算法工程师,现深圳大数据研究院
Yitong Yin(尹一通) 30/328 4 / 8 2019—2023 南京大学教授,耶鲁大学博士,新基石研究员,最核心的外部合作者
Mingji Xia(夏盟佶) 22/4171 3 / 5 2016—2026 中科院计算所研究员
Weiming Feng(凤维明) 132/0888-1 2 / 4 2019—2021 尹一通博士生(2021年CCF优博),现任香港大学助理教授
Chunyang Wang(王春阳) 69/1950-3 2 / 4 2022—2023 尹一通博士生(南京大学),后至上海交大
Liang Li(李亮) 14/1395 2 / 3 2017—2026 计算所博士,现任电子科技大学数学科学学院
Xingwu Liu(刘兴武) 68/6399 2 / 3 2017—2026 中科院计算所(合作期间)
Yuyi Wang(王宇一) 118/4761-1 2 / 3 2017—2026 计算所博士(现职公开资料未披露)
Kewen Wu(吴克文) 20/9169-1 1 / 3 2021—2022 曾属计算所圈(DBLP标注曾有阿里巴巴经历),现加州大学伯克利分校
Jiapeng Zhang(张家鹏) 38/9461 1 / 3 2018—2019 计算复杂性理论学者(现职为海外高校教职,具体公开资料未在本次调研中核实)
Guoliang Qiu 256/7803-1 1 / 3 2024—2025 DBLP标注含上海交大/华为Taylor Lab等机构经历,为何昆入职人大后的主要合作者(推测为其学生或紧密合作者)
Kuan Yang(杨宽) 50/4285-1 1 / 2 2022—2023 上海交大John Hopcroft中心(曾在北京航空航天大学等)
Zhidan Li(李知丹) 50/11058 1 / 2 2024—2025 推测为人大何昆组学生
Chihao Zhang(张驰豪) 92/11261-1 1 / 2 2024—2025 上海交通大学(博士毕业于香港中文大学)
Shaojiang Wang 198/8481 1 / 2 2017—2019 中科院计算所(合作期间)
Yicheng Pan(潘逸成) 14/721-1 1 / 2 2017—2019 中科院计算所(合作期间)
Wenfei Fan(樊文飞) 94/2372 1 / 1 2020 英国爱丁堡大学教授、深圳计算科学研究院院长,英国皇家学会院士
Yue Wang 33/4822 1 / 1 2020 深圳计算科学研究院(推测为樊文飞团队成员)

三、博士教育背景

博士阶段(中科院计算所,2015—2019年)

何昆于2015年9月至2019年6月在中科院计算技术研究所攻读博士学位(计算机软件与理论专业),导师为孙晓明研究员。据人大信息学院官网人物专访《我的理论计算机之路——何昆》(2023年9月),其求学经历颇为曲折:本科(武汉大学)期间因高考成绩不突出未能就读心仪的物理专业而"误打误撞"进入计算机专业,因数据结构课程对算法设计与分析产生浓厚兴趣;本科毕业后保研至中科院计算所硕博连读,最初被分入生物信息学方向(其间学习了统计学基础并证明了多重假设检验领域的若干定理,但理论分析工作在该领域不受重视),为从事真正感兴趣的理论计算机研究,他主动放弃读博、延期半年以硕士毕业(2014年1月),随后于2015年重新考取孙晓明研究员的博士生。他自述"硕士阶段是一段很灰暗的时光",因年龄压力在后续诸多选择中需要更多权衡。

博士期间研究集中在布尔函数复杂性(敏感度猜想相关)与洛瓦兹局部引理两大主题:

  • 敏感度与证书复杂性:"A Tighter Relation Between Sensitivity Complexity and Certificate Complexity"(COCOON 2017、Theor. Comput. Sci. 2019,与李乾、孙晓明)——给出敏感度复杂性与证书复杂性之间更紧的关系,属于2019年黄皓证明敏感度猜想(Hao Huang, Quanta/理论界年度大事件)之前的经典战线
  • 变量版LLL:FOCS 2017 论文证明变量版洛瓦兹局部引理的Moser-Tardos型随机算法可以超越Shearer界,该成果解决了构造性LLL领域的核心开放问题,也是其CCF优博论文(2020)与国自然青年基金项目的主题
  • 量子LLL:STOC 2019 论文(与李乾、孙晓明、张家鹏)证明量子洛瓦兹局部引理中Shearer界是紧的

硕士阶段(中科院计算所,2010—2014年)

计算机应用技术专业,方向为生物信息学(多重假设检验的统计理论)。该阶段成果未进入DBLP记录(无对应论文条目),硕士导师公开资料未披露。何昆自评这近五年是"浪费",但也因此打下了概率统计功底——其后续概率方法研究的统计基础或源于此。

本科阶段(武汉大学,2006—2010年)

计算机学院。自述大学期间未将心思全放在专业课,阅读了大量哲学、物理学与心理学书籍,理论基础并未打牢,但独立设计过"2-3 B树"数据结构,并精读《算法导论》《计算机程序设计艺术》部分章节。


四、导师/师承分析

师承谱系

孙晓明(中科院计算所研究员;清华本硕博,2005年博士;CCF会士、优青、
        首批青年拔尖人才;CCF量子计算专委主任)
  ├── 何昆(博士,2019届,中科院计算所)
  │     └── 中国人民大学信息学院 副教授(2023年至今)
  ├── 李乾(博士,2018届,中科院计算所)
  │     └── 阿里巴巴高级算法工程师 → 深圳计算科学研究院 → 深圳大数据研究院
  └── 吴克文(计算所培养圈,曾参与孙晓明组多项工作)
        └── 加州大学伯克利分校(理论CS方向)

孙晓明研究员是理解何昆学术网络的核心节点。孙晓明1997—2005年在清华大学计算机系完成本硕博连读(博士导师公开资料未披露),2005—2011年任清华大学高等研究院助理研究员、副研究员,2011年起任中科院计算所研究员,研究方向为算法与计算复杂性、量子计算。他是中国理论计算机科学界的领军人物之一:首批国家自然科学基金优青获得者(2012)、中组部首批青年拔尖人才、中国密码学会优秀青年奖获得者,2024年12月当选CCF会士,现任CCF理论计算机专委会副主任、CCF量子计算专委主任,并翻译出版了量子计算经典教材《量子计算与量子信息》(Nielsen & Chuang)中译本。2026年,孙晓明作为发起人及首席科学家创立量子计算软件公司"中科量枢"(源自计算所量子计算实验室)。

何昆与孙晓明的合作贯穿2016—2024年(DBLP可确认10次联合署名),覆盖其从博士生到独立PI的整个成长期。二人合著的量子LLL(STOC 2019)与Moser-Tardos超越Shearer界(SODA 2023)均为导师深度参与博士生产出的典型模式。

非正式"合作导师":尹一通(南京大学)

虽然何昆的正式博士导师是孙晓明,但从合作强度看,南京大学尹一通教授(Yitong Yin,耶鲁大学2009年博士,新基石研究员、CCF-IEEE CS青年科学家奖获得者,中国计算采样与LLL理论方向的旗帜性人物)在其2019—2023年的研究成熟期扮演了类似"联合指导"的角色:

  • 两人合著论文8篇(含预印本),包括STOC 2021、FOCS 2022、SODA 2023 等LLL采样方向的系列突破;
  • 尹一通的两名学生——凤维明(2021年CCF优博,现香港大学助理教授)与王春阳——均与何昆有直接合著(各4次),形成"计算所—南大"双中心的LLL采样合作集群;
  • 该合作网络的地理支点是深圳:何昆2019—2021年任职的深圳计算科学研究院与南大理论组联系紧密。

计算所理论组"同门网络"

何昆博士期间所在的计算所理论组(theory.ict.ac.cn,孙晓明组)是其第二圈层人脉的来源:李乾(2018届博士,合作9次,为仅次于孙晓明、尹一通的第三大合著者)、吴克文(合作3次,现伯克利)、以及组内关联学者张家鹏(合作3次,量子LLL合作者)。夏盟佶、李亮、刘兴武、王宇一、王少江、潘逸成等计算所系统合作者多出现在其2016—2020年论文中。


五、现单位团队与核心合作者

人大信息学院定位

何昆是人大信息学院计算机科学与技术系在理论计算机科学方向的代表性教师,2023年7月入职后隶属于数据工程与知识工程教育部重点实验室(DEKE)。据其自述,选择人大是"感谢实验室为我提供的稳定的科研环境"。人大信息学院本身以数据库、大数据(DEKE传统优势)和信息系统见长,理论CS方向教师稀缺,何昆的入职填补了该院在算法与计算复杂性理论方向的空白,这使其在学院内具有高度稀缺性与独立性(注:与DEKE的数据库学者何军教授为不同人)。

自主团队(推测)

何昆2023年独立建组后开始招收研究生(知乎有其2023年9月发布的招生帖,明确"招收理论计算机方向硕士")。基于DBLP 2024—2025年合作记录,其团队初步成形:

姓名(英文/DBLP) 合作次数 合作年份 推测身份与研究方向
Guoliang Qiu 3次 2024—2025 核心学生/合作者,方向为LLL域内排列采样(lopsided LLL)、Holant问题FPTAS;DBLP标注机构含上海交大、华为Taylor Lab
Zhidan Li(李知丹) 2次 2024—2025 学生,方向为对数凹签名Holant问题的FPTAS

团队规模尚小(建组仅3年),2025年SODA论文(与李知丹、Guoliang Qiu、上海交大张驰豪合作)是其在人大自主产出的首篇顶会论文。

跨机构核心合作者(在职人大期间)

合作者 所属机构 合作内容
Chihao Zhang(张驰豪) 上海交通大学 SODA 2025 Holant问题FPTAS,计数复杂性方向
Xiaoming Sun(孙晓明) 中科院计算所 延续博导合作(CoRR 2024 排列采样论文)
Liang Li、Xingwu Liu、Yuyi Wang、Mingji Xia 计算所/电子科大等 变量版LLL期刊版(Inf. Comput. 2026)

六、业界合作关系深度分析

与本项目内其他以横向项目见长的教师不同,何昆是典型的纯理论研究者,其DBLP记录中无任何企业署名论文,人大官网与个人主页均未列出横向项目或企业合作。其与产业界的联系主要通过"人"而非"项目"实现:

1. 阿里巴巴(经由李乾的间接关联)

合作深度:★☆☆☆☆(同门人脉,无直接署名合作)

其计算所同门李乾2018年博士毕业后入职阿里巴巴任高级算法工程师,负责搜索广告的拍卖机制设计(据深圳大数据研究院官方页面,其设计的广告位拍卖机制"每年可为阿里巴巴集团多创造上千亿人民币的成交额以及约十亿人民币的利润")。何昆与李乾合著9篇论文(最近为SODA 2023的Moser-Tardos论文),这一"理论—广告拍卖算法"的同门通道是其网络中最直接的产业接口,但何昆本人未参与任何阿里项目。另,合作者吴克文的DBLP档案亦含"Alibaba Group"历史机构标注。

2. 深圳计算科学研究院(SICS)

合作深度:★★☆☆☆(职业经历+1篇联合论文)

2019—2021年何昆在深圳计算科学研究院任研究员,该院由英国皇家学会院士、欧洲科学院院士樊文飞(Wenfei Fan,爱丁堡大学教授,数据库理论与图计算国际权威)创建并任院长。何昆在SICS期间与樊文飞、李乾、Yue Wang合作发表 Sci. China Inf. Sci. 2020 综述/论文"Graph algorithms: parallelization and scalability"(图算法的并行化与可扩展性),这是其论文列表中唯一偏数据库/大数据方向的工作。李乾同期也在SICS跟随樊文飞从事大数据理论研究。

3. 华为(间接线索)

合作者Guoliang Qiu的DBLP档案含"华为Taylor Lab"机构标注(华为理论实验室,由理论计算机科学家主导),不排除何昆团队与华为理论实验室存在人脉联系,但无公开的直接合作证据,此为推测。

4. 量子计算产业化圈(经由博导孙晓明)

孙晓明2026年作为发起人及首席科学家创立量子计算软件公司"中科量枢"(源自计算所量子计算实验室,天使轮及天使+轮融资均达数千万元)。何昆的量子LLL研究(STOC 2019)与孙晓明的量子计算方向一脉相承,其师门的量子计算产业化布局构成潜在的未来产业接口。

5. 产学研模式总结

何昆的产学研画像可概括为"理论纯粹主义+同门产业通道":本人研究完全聚焦理论CS顶会(STOC/FOCS/SODA),不承接横向项目;但其学术网络中的李乾(阿里广告拍卖)、孙晓明(中科量枢量子计算)、Guoliang Qiu(华为Taylor Lab线索)分别代表了算法博弈论、量子计算、理论算法三类潜在产业化路径。这种"人不进企业、网络通企业"的模式在中国理论CS学者中较为典型。其官网列出的唯一项目为国家自然科学基金青年项目与中科院特别研究助理资助项目,均为纵向基础研究资助。


七、Connection 圈层总结

第一圈层(博士导师与最核心合作者): 孙晓明(中科院计算所,含预印本10次合作,2016—2024年持续)与尹一通(南京大学,8次合作,2019—2023年)构成何昆学术网络的"双核"——前者是博士导师与计算所理论组的根基,后者是LLL采样方向的事实上的联合指导者。三人共同构成了中国"洛瓦兹局部引理与计算采样"学派的中坚:尹一通(耶鲁背景,南大理论组负责人)、孙晓明(清华背景,计算所)分别代表南北两大理论CS重镇,何昆则是两大体系交汇处培养出的新一代代表。

第二圈层(计算所同门与南大合作集群): 李乾(9次,现深圳大数据研究院,曾任阿里高级算法工程师)是全网络第三大合著者;凤维明(4次,港大助理教授、CCF优博)、王春阳(4次)、吴克文(3次,伯克利)、张家鹏(3次)、杨宽(2次,上交JHC)等构成其同龄理论CS学者圈。这一圈层的显著特征是:成员几乎全部活跃于STOC/FOCS/SODA/ITCS等理论顶会,且多数已有海外或国内名校教职。

第三圈层(自主培养团队): 入职人大3年,团队尚在早期(李知丹、Guoliang Qiu),2025年SODA论文标志其独立产出能力。作为人大信息学院稀缺的理论CS教师,其招生面向"热爱思考、极其勤奋"的学生,不设背景门槛。

第四圈层(平台与跨界网络): DEKE实验室(数据工程与知识工程教育部重点实验室)为其提供经费与环境支撑;深圳计算科学研究院经历(樊文飞院士团队)连接数据库理论圈;师门的量子计算产业化布局(中科量枢)与阿里广告算法通道(李乾)构成潜在的产业接口。

产出特征: 论文总量不大(DBLP正式发表15篇),但顶会密度极高(STOC×3、FOCS×2、SODA×5、ITCS×1,占正式发表的73%),且多项工作为解决领域公认开放问题(变量版LLL超越Shearer界、量子LLL紧致性、LLL近线性时间采样),2026年更以独立作者发表SODA论文。这是典型的"少而精"理论学者画像,与其"理论CS惯例按姓氏字母序署名"的声明相呼应——理论CS领域不以论文数量论英雄。


八、数据来源与局限性说明

本报告主数据来自 DBLP 官方作者档案(pid: 59/1028-11)的完整 XML 记录(30条),论文与合作者统计基于对该记录的逐一解析,合作次数统计包含 arXiv/ECCC 预印本(正式发表与预印本分别注明)。

报告同时结合以下信息源: - 中国人民大学信息学院官方教师页面(info.ruc.edu.cn,含教育经历、工作经历、研究方向、科研项目、代表性论文) - 何昆个人主页(hekun-theory.com,含About Me、Honors and Awards、Research页) - 人大信息学院官网人物专访《我的理论计算机之路——何昆》(2023-09-08,自述求学经历) - 中科院计算所官网及国科大导师页(孙晓明研究员简历)、百度百科(孙晓明、尹一通词条)、南京大学理论组主页(tcs.nju.edu.cn) - 深圳大数据研究院教师页(李乾简历)、凤维明个人主页(fwm94.github.io)、arXiv:2411.02750 条目页

主要局限性: 1. 何昆硕士阶段(2010—2014,生物信息学方向)导师及具体课题组成员公开资料未披露;孙晓明的博士导师(清华大学,2005年)公开资料未披露,故师承谱系止于孙晓明一代; 2. 张家鹏、王宇一等合作者的现任职机构未能在本次调研中通过一手来源核实,已如实标注;Guoliang Qiu 的机构归属(上海交大/华为Taylor Lab/人大)依据DBLP档案推断,其与何昆的具体关系(学生或外部合作者)未经官方确认; 3. 何昆2023年才独立建组,学生名单仅能从2024—2025年论文合作者反推(标注"推测"),可能存在遗漏(如尚未发表论文的学生); 4. 业界合作部分(阿里、华为、中科量枢)均为间接人脉推断,无任何直接项目证据,报告已明确区分"论文合作/职业经历/间接关联"三种关系强度; 5. Google Scholar(ID: Gaw2AbsAAAAJ)的引用数据未在本次调研中抓取,报告未包含引用量统计; 6. 何昆自述官网"解决多个由哥德尔奖得主、莱布尼茨奖得主提出的开放问题"(应指LLL相关的Moser-Tardos、Shearer、Spencer等人的开放问题),具体对应哪几位奖得主的哪个问题,官方未逐条列明,本报告仅作转述。