2022 ACSW – Keynote Presentation: Verification and Testing of quantum systems

Nengkun Yu1



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. Proving the correctness of quantum software and hardware is highly non-trivial due to the counter-intuitive nature of quantum mechanics. To verify the correctness of quantum systems, we propose two approaches: 1. Quantum software verification; 2. Quantum hardware testing. In the first part of this talk, I will overview my work of efficient reasoning about quantum programs by developing verification techniques and tools that leverage the power of Birkhoff & von Neumann’s quantum logic. 2. In the second part of this talk, I will review my work on quantum state tomography, i.e., learning the classical description of quantum hardware, which closes a 40 years’ long-standing gap between the upper and lower bounds for quantum state engineering.


Nengkun Yu is a Senior Lecturer in the Centre for Quantum Software and Information, 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 many awards, including the Chris Wallace Award for Outstanding Research, J G Russell Award, ACM SIGPLAN distinguished paper award at OOPSLA 2020, and ACM SIGPLAN distinguished paper award at PLDI 2021. His research interest focuses on quantum computing.


Feb 15 2022

Local Time

  • Timezone: America/New_York
  • Date: Feb 14 2022