Software correctness and reliability have been central issues in classical computing for decades. Researchers have developed a wide range of approaches to these problems, but few have been to date for quantum computing. In this talk, I consider two different static analysis approaches to solving quantum software correctness and reliability problems: pattern-based bug detection and entanglement analysis. I will overview how these approaches work and conclude by discussing the challenges they face moving forward.

Jianjun Zhao is a Professor at the Faculty of Information Science and Electrical Engineering at Kyushu University. Before that, he worked at the Fukuoka Institute of Technology and Shanghai Jiao Tong University. He obtained his B.S. degree at Tsinghua University and his Ph.D. at Kyushu University. His research interests include software engineering and programming languages. Much of his current research focuses on techniques that make quantum software more robust, reliable, secure, and easier to specify, build, maintain, or improve.