Seminar: Verification and Testing of Quantum Systems
Associate Professor, Centre for Quantum Software and Information
University of Technology Sydney
Monday, February 7, 2022
4:00 - 5:00 PM
Quantum can solve complex problems that classical computers will never be able to.
In recent years, significant efforts have been devoted to building quantum computers to solve real-world problems. To ensure the correctness of quantum systems, it is necessary to develop verification techniques and testing algorithms for quantum systems. The first part of this presentation offers an overview of Dr. Nengkun Yu's work in efficient reasoning about quantum programs through the development of verification techniques and tools that leverage the power of Birkhoff & von Neumann quantum logic. The second part of the seminar reviews the presenter's work on quantum state tomography, i.e., learning the classical description of quantum hardware, which closes a 40-year, long-standing gap between the upper and lower bounds for quantum state engineering.
Nengkun Yu is an associate professor in the Centre for Quantum Software and Information, University of Technology Sydney. He received his B.S. (2008) and PhD (2013) degrees from the Department of Computer Science and Technology, Tsinghua University, Beijing, China. He won the ACM SIGPLAN distinguished paper award at OOPSLA 2020 and the ACM SIGPLAN distinguished paper award at PLDI 2021. His research interest focuses on quantum computing.