研究员/正高级工程师

研究员/正高级工程师

孙晓明

孙晓明

  • 职称: 研究员
  • 研究方向: 

    量子计算;算法复杂性;社会网络近似算法;通信复杂性;判定树复杂性;组合数学

  • 导师类别: 博士生导师
  • 电子邮件: sunxiaoming@ict.ac.cn

简历

1997年9月-2001年7月:清华大学计算机系,学士毕业
2001年9月-2005年7月:清华大学计算机系,博士毕业
2005年8月-2008年12月:清华大学高等研究院,助理研究员
2008年12月-2011年9月:清华大学高等研究院,副研究员
2011年9月至今:中国科学院计算技术研究所

代表论著:

期刊文章:[1] Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang. Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Trans. Parallel Distrib. Syst. 31(4): 805-816 (2020).[2] Qian Li, Xiaoming Sun. On the modulo degree complexity of Boolean functions. Theoretical Computer Science (818): 32-40 (2020).[3] Bujiao Wu, Bin Cheng, Fei Jia, Jialin Zhang, Man-Hong Yung, Xiaoming Sun. Speedup in classical simulation of Gaussian boson sampling. Science Bulletin 65(10): 832-841 (2020).[4] Youming Qiao, Xiaoming Sun, Nengkun Yu. Local Equivalence of Multipartite Entanglement. IEEE Journal on Selected Areas in Communications 38(3): 568-574, March 2020.[5] Jiaqing Jiang, Xiaoming Sun, Yuan Sun, Kewen Wu, Zhiyu Xia. Structured decomposition for reversible Boolean functions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2019). 会议文章:[1] Kun He, Qian Li, Xiaoming Sun, Jiapeng Zhang. Quantum Lovász local lemma: Shearer's bound is tight. STOC 2019: 461-472.[2] Jiaqing Jiang, Xiaoming Sun, Shang-Hua Teng, Bujiao Wu, Kewen Wu, Jialin Zhang. Optimal Space-Depth Trade-Off of CNOT Circuits in Quantum Logic Synthesis. SODA 2020: 213-22.[3] Xiaohui Bei, Xiaoming Sun, Hao Wu, Jialin Zhang, Zhijie Zhang, Wei Zi. Cake Cutting on Graphs: A Discrete and Bounded Proportional Protocol. SODA 2020: 2114-2123.[4] Xiaoming Sun, Yuan Sun, Jiaheng Wang, Kewen Wu, Zhiyu Xia, Yufan Zheng. On the Degree of Boolean Functions as Polynomials over ?m. ICALP 2020: 100:1-100:19.[5] Feidiao Yang, Jiaqing Jiang, Jialin Zhang, Xiaoming Sun. Revisiting Online Quantum State Learning. AAAI 2020: 6607-6614.

承担科研项目情况:

[1] 国家自然科学基金重点项目:大数据结构与关系的发现与简约计算方法,项目负责人;[2] 中国科学院王宽诚率先人才计划卢嘉锡国际团队项目:“网络数据科学与大数据引擎系统”国际团队,项目负责人;[3] 中科院战略性先导科技专项:量子计算与量子模拟理论,课题负责人;[4] 国家自然科学基金优秀青年科学基金项目:理论计算机科学,项目负责人;[5] 中组部万人计划青年拔尖人才项目:计算难解性研究,项目负责人。