基本信息
应圣钢  男  硕导  中国科学院软件研究所
电子邮件: yingsg@ios.ac.cn
通信地址: 北京市海淀区中关村南四街4号中国科学院软件研究所5号楼
邮政编码:

研究领域

量子计算,量子程序

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
量子计算,量子程序

教育背景

2010-09--2015-07   清华大学计算机科学与技术系   博士
2006-08--清华大学物理系   本科

工作经历

   
工作简历
2018-09~现在, 中国科学院软件研究所, 副研究员
2015-08~2018-08,悉尼科技大学, 博士后

出版信息

   
发表论文
[1] MingSheng Ying, Yuan Feng, ShengGang Ying. Optimal Policies for Quantum Markov Decision Processes. 国际自动化与计算杂志:英文版[J]. 2021, 18(3): 410-421, http://lib.cqvip.com/Qikan/Article/Detail?id=7104772586.
[2] Zhou, Li, Ying, Shenggang, Yu, Nengkun, Ying, Mingsheng. Strassen's theorem for quantum couplings. THEORETICAL COMPUTER SCIENCE[J]. 2020, 802: 67-76, http://dx.doi.org/10.1016/j.tcs.2019.08.026.
[3] Liu Junyi, Zhan Bohua, Wang Shuling, Ying Shenggang, Liu Tao, Li Yangjia, Ying Mingsheng, Zhan Naijun, Dillig I, Tasiran S. Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. COMPUTER AIDED VERIFICATION, CAV 2019, PT IInull. 2019, 11562: 187-207, [4] Ying, Shenggang, Ying, Mingsheng. Reachability analysis of quantum Markov decision processes. INFORMATION AND COMPUTATION[J]. 2018, 263: 31-51, http://dx.doi.org/10.1016/j.ic.2018.09.001.
[5] Ying Mingsheng, Ying Shenggang, Wu Xiaodi. Invariants of Quantum Programs: Characterisations and Generation. ACM SIGPLAN NOTICESnull. 2017, 52(1): 818-832, 

科研活动

   
科研项目
( 1 ) 量子程序设计模型与理论, 参与, 国家级, 2018-05--2023-04