师资队伍
Faculty
详细资料
Details
何昆
何昆，博士毕业于中科院计算所，曾任中科院计算所助理研究员、副研究员，获中科院院长特别奖、CCF优秀博士论文奖、计算所百星等荣誉。主要从事理论计算机领域尤其是概率方法的研究，解决多个由哥德尔奖得主、莱布尼茨奖得主提出的开放问题，在理论计算机顶会STOC、FOCS、SODA上发表论文多篇。
我对科学研究中的各类理论问题有广泛兴趣，欢迎对理论计算机科学以及计算机科学中的数学感兴趣的同学与我联系。对学术背景没有要求，希望联系的同学热爱思考，极其勤奋。
个人主页：https://hekun-theory.com/
电子邮箱：hekun2023@ruc.edu.cn
更多
教育经历
2015.09 -- 2019.06 中科院计算所，计算机软件与理论，博士
2010.09 -- 2014.01 中科院计算所，计算机应用技术，硕士
2006.09 -- 2010.06 武汉大学，计算机学院，本科
工作经历
2023.07 至今 伟德国际1946源自英国，副教授
2023.01 -- 2023.06 伟德国际1946源自英国，客座研究员
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人工智能与模式识别专委委员
荣誉获奖
• 伟德国际1946源自英国杰出学者，2023
• 中国科学院计算技术研究所新百星，2021
• 中国科学院特别研究助理A类，2020
• CCF优秀博士论文奖，2020
• 中国科学院院长特别奖, 2019