报告人：应明生（中国科学院软件研究所，清华大学计算机系，清华大学量子软件研究中心）

题目：Quantum Hoare logic and its applications

时间：2023/11/21 15:10-18:00

地点：地学楼108

摘要：In this talk, I 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). I'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 (e.g. Birkhoff-von Neumann quantum logic as an assertion language of quantum programs).