Events Calendar

CS Colloquium: Nengkun Yu (University of Technology Sydney) - Efficient verification and testing of quantum programs

Speaker: Nengkun Yu , University of Technology Sydney

Talk Title: Efficient verification and testing of quantum programs

Series: CS Colloquium

Abstract: 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 programs, we develop verification techniques and testing algorithms for quantum programs. In the first part of this talk, I will overview efficient reasoning about quantum programs by developing verification techniques and tools that leverage the power of Birkhoff & von Neumann quantum logic. In the second part, I will review my work on quantum state tomography, i.e., learning the classical description of quantum states, which closes a long-standing gap between the upper and lower bounds for dynamic testing the properties of a quantum program's output.

This lecture satisfies requirements for CSCI 591: Research Colloquium

Biography: Nengkun Yu is an associate professor in the Centre for Quantum Software and Information, the University of Technology Sydney. He received his B.S. and PhD degrees from the Department of Computer Science and Technology, Tsinghua University, Beijing, China, in July of 2008 and 2013. He won a distinguished paper award at OOPSLA 2020 and a distinguished paper award at PLDI 2021. His research interest focuses on quantum computing.


Host: Todd Brun / Jyo Deshmukh

Location: online only

Audiences: By invitation only.

Contact: Assistant to CS chair