簡(jiǎn) 歷:
1997年9月-2001年7月:清華大學(xué)計(jì)算機(jī)系,學(xué)士畢業(yè)
2001年9月-2005年7月:清華大學(xué)計(jì)算機(jī)系,博士畢業(yè)
2005年8月-2008年12月:清華大學(xué)高等研究院,助理研究員
2008年12月-2011年9月:清華大學(xué)高等研究院,副研究員
2011年9月至今:中國(guó)科學(xué)院計(jì)算技術(shù)研究所
主要論著:
期刊文章:
[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).
?
會(huì)議文章:
[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.
科研項(xiàng)目:
[1] 國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目:大數(shù)據(jù)結(jié)構(gòu)與關(guān)系的發(fā)現(xiàn)與簡(jiǎn)約計(jì)算方法,項(xiàng)目負(fù)責(zé)人
[2] 國(guó)家自然科學(xué)基金優(yōu)秀青年科學(xué)基金項(xiàng)目:理論計(jì)算機(jī)科學(xué),項(xiàng)目負(fù)責(zé)人
獲獎(jiǎng)及榮譽(yù):
中國(guó)科學(xué)院優(yōu)秀導(dǎo)師獎(jiǎng)、朱李月華優(yōu)秀教師獎(jiǎng),中國(guó)密碼學(xué)會(huì)密碼創(chuàng)新獎(jiǎng)、中國(guó)密碼學(xué)會(huì)優(yōu)秀青年獎(jiǎng),獲首批國(guó)家自然科學(xué)基金優(yōu)秀青年基金資助,入選首批國(guó)家特支計(jì)劃,清華大學(xué)學(xué)術(shù)新人獎(jiǎng)、青年教師教學(xué)優(yōu)秀獎(jiǎng)等。
孫曉明 研究員
研究方向:
所屬部門:前瞻研究實(shí)驗(yàn)室、處理器芯片重點(diǎn)實(shí)驗(yàn)室
導(dǎo)師類別:博導(dǎo)計(jì)算機(jī)軟件與理論
聯(lián)系方式:sunxiaoming@ict.ac.cn
個(gè)人網(wǎng)頁(yè):http://theory.ict.ac.cn/