招生专业 081202-计算机软件与理论

招生方向 量子计算，量子程序

教育背景 2010-09--2015-07 清华大学计算机科学与技术系 博士 2006-08--清华大学物理系 本科 工作简历 2018-09~现在, 中国科学院软件研究所, 副研究员 2015-08~2018-08,悉尼科技大学, 博士后 科研项目 （ 1 ） 量子程序设计模型与理论, 参与, 国家级, 2018-05--2023-04

量子计算，量子程序

（1） Strassen's theorem for quantum couplings, Theoretical Computer Science, 2019, 第 2 作者 （2） Reachability analysis of quantum Markov decision processes, Information and Computation, 2018, 第 1 作者 （3） Invariants of Quantum Programs: Characterisations and Generation, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017, 第 2 作者