信息科学系列报告（讨论班）—Toward Automatic Verification of Quantum Programs
主 题: 信息科学系列报告（讨论班）—Toward Automatic Verification of Quantum Programs
报告人: 应明生教授 (悉尼科技大学)
时 间: 2017-03-22 13:00-15:00
地 点: 理科1号楼1303
Abstract: Programming is error-prone. Programming a quantum computer and designing quantum communication protocols are even worse due to the weird nature of quantum systems. Therefore, verification techniques for quantum programs and quantum protocols will be indispensable whence commercial quantum computers and quantum communication systems are available. In the last 10 years, various verification techniques for classical programs including program logics and model-checking have been extended to deal with quantum programs. This talk summaries several results obtained by the author and his collaborators in this line of research.
Bio: Mingsheng Ying was Cheung Kong Professor at the Department of Computer Science and Technology, Tsinghua University. Now, he is Distinguished Professor, and Research Director of the Centre for Quantum Software and Information, University of Technology Sydney, Australia. He is also Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences.