个人简介
招生专业
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 作者
京公网安备 11010802027423号