微信里点“发现”，扫一下
二维码便可将本文分享至朋友圈
演讲摘要：In this talk, Prof. Ying will mainly discuss the program logic approach to verification of quantum programs, including quantum Hoare logic and its related problems (invariant generation and termination analysis for quantum programs). He'll also briefly discuss its potential applications to other fields (e.g. verification of quantum cryptographic protocols, debugging of quantum programs). Some problems for future research will be proposed at the end of the talk.
讲者简介：Mingsheng Ying is a Research Professor at the Institute of Software at the Chinese Academy of Sciences, and holds the Cheung Kong Chair Professorship at Tsinghua University. His research interests include quantum computation, theory of programming languages, and logics in AI. He has published books: Model Checking Quantum Systems: Principles and Algorithms (2021) (with Yuan Feng), Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correct- ness and Infinite Evolution of Concurrent Programs (2001). He has served on the editorial board of several publications including Artificial Intelligence Journal. He is currently (Co)Editor-in-Chief of ACM Transactions on Quantum Computing。
CCF量子计算大会
本期嘉宾
京公网安备11010802032778号