Schedule
- Date and time: Friday, October 30, 2026, 02:00 UTC
- Local times: Thursday, October 29, 19:00 PDT · Thursday, October 29, 22:00 EDT · 13:00 AEDT
Abstract
As quantum hardware advances from prototypes to practical platforms, reliable software becomes increasingly critical. Verification is indispensable for ensuring the correctness, safety, and security of quantum software. Program invariants play a key role in program verification.
In this talk, we introduce the notion of invariants for quantum programs and present an effective technique for invariant generation, enabling the verification and analysis of quantum programs.
Speaker Bio
Mingsheng Ying is currently Distinguished Professor at the Centre for Quantum Software and Information, University of Technology Sydney, Australia. His research interests are quantum computing, programming language theory, and logics in artificial intelligence. He has authored Foundations of Quantum Programming and Model Checking Quantum Systems: Principles and Algorithms, and currently serves as the Editor-in-Chief of ACM Transactions on Quantum Computing.
Last modified: 30 Oct 2026