个人介绍

何昆，博士毕业于中科院计算所，曾任中科院计算所助理研究员、副研究员，获中科院院长特别奖、CCF优秀博士论文奖、计算所百星等荣誉。主要从事理论计算机领域尤其是概率方法的研究，解决多个由哥德尔奖得主、莱布尼茨奖得主提出的开放问题，在理论计算机顶会STOC、FOCS、SODA上发表论文多篇。

我对科学研究中的各类理论问题有广泛兴趣，欢迎对理论计算机科学以及计算机科学中的数学感兴趣的同学与我联系。对学术背景没有要求，希望联系的同学热爱思考，极其勤奋。

电子邮箱：hekun2023@ruc.edu.cn

个人主页：https://hekun-theory.com 

教育经历

2015.09 -- 2019.06 中科院计算所，计算机软件与理论，博士

2010.09 -- 2014.01 中科院计算所，计算机应用技术，硕士

2006.09 -- 2010.06 武汉大学，计算机学院，本科

工作经历

2023.07至今 中国人民大学，副教授

2023.01 -- 2023.06 中国人民大学，客座研究员

2021.04 -- 2022.12 中科院计算所，特别研究助理，副研究员

2019.07 -- 2021.02 深圳计算科学研究院，研究员

2014.02 -- 2015.08 中科院计算所，客座员工

研究方向

理论计算机，主要兴趣集中在概率方法、采样、量子计算和理论机器学习等方向

讲授课程

无

科研项目

国家自然科学基金青年基金:关于构造版本洛瓦兹局部引理的关键猜想及其应用的研究，负责人

中国科学院特别研究助理资助项目，负责人

科研成果

根据理论计算机科学惯例，论文作者按姓氏字母序

• Improved Bounds for Sampling Solutions of Random CNF Formulas

Kun He, Kewen Wu, and Kuan Yang

SODA'23, pp. 3330-3361.

• Deterministic counting Lovasz local lemma beyond linear programming

Kun He, Chunyang Wang and Yitong Yin

SODA'23, pp. 3388-3425.

• Moser-Tardos Algorithm: beyond Shearer's Bound

Kun He, Qian Li and Xiaoming Sun

SODA'23, pp. 3362-3387.

• Sampling Lovasz Local Lemma For General Constraint Satisfaction Solutions In Near-Linear Time

Kun He, Chunyang Wang and Yitong Yin

FOCS'22, pp. 147-158.

• Sampling Constraint Satisfaction Solutions in the Local Lemma Regime

Weiming Feng, Kun He and Yitong Yin

STOC'21, pp. 1565-1578.

• Dynamic Inference in Probabilistic Graphical Models

Weiming Feng, Kun He, Xiaoming Sun and Yitong Yin

ITCS'21, pp. 25:1-25:20.

• New Versions of Lovasz Local Lemma and Their Applications (in Chinese)

Kun He and Xiaoming Sun

SCIENCE CHINA Information Sciences, pp. 50:1680-1696, 2020.

• Tight Bounds for Popping Algorithms

Heng Guo and Kun He

Random Struct. Algorithms, pp. 371-392, 2020.

• Quantum Lovasz Local Lemma: Shearer's Bound Is Tight

Kun He, Qian Li, Xiaoming Sun and Jiapeng Zhang

STOC'19, pp. 461-472.

• A Tighter Relation Between Sensitivity Complexity and Certificate Complexity

Kun He, Qian Li and Xiaoming Sun

Theor. Comput. Sci., 762, 1-12, 2019

Preliminary version: COCOON'17, pp. 262-274.

• Variable-Version Lovasz Local Lemma: Beyond Shearer's Bound

Kun He, Liang Li, Xingwu Liu, Yuyi Wang and Mingji Xia

FOCS'17, pp. 451-462.

社会兼职

CCF理论计算机科学专委执行委员

CCF量子计算专委委员

CCF人工智能与模式识别专委委员

荣誉获奖

• 中国人民大学杰出学者，2023

• 中国科学院计算技术研究所新百星，2021

• 中国科学院特别研究助理A类，2020

• CCF优秀博士论文奖，2020

• 中国科学院院长特别奖, 2019