Logo: University of Southern California

Events Calendar

  • 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

    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


Return to Calendar