CS Colloquium: Nengkun Yu (University of Technology Sydney) - Efficient verification and testing of quantum programs
Wed, Mar 30, 2022 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
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