Skip to main content

Coupling Techniques for Reasoning about Quantum Programs

Funding: 2021: $135,000
2022: $135,000
2023: $135,000

Project Member(s): Yu, N.

Funding or Partner Organisation: Australian Research Council (ARC Discovery Projects)
Australian Research Council (ARC Discovery Projects)

Start year: 2021

Summary: Quantum software is indispensable for unleashing the super-power of quantum computing. This project aims to develop, for the first time, effective techniques for reasoning about the equivalence of quantum programs, with applications for verifying quantum compilers and quantum cryptographic protocols. The successful development of the outcomes and tools proposed in this project will significantly advance the knowledge on logical and mathematical foundations of quantum programming theory and thereby help Australian industries to build frontier technologies for quantum software engineering – in particular for quantum compilers – as well as establish and preserve their competitive status in the quantum computing era.


Wang, Q, Liu, J & Ying, M 2021, 'Equivalence checking of quantum finite-state machines.', J. Comput. Syst. Sci., vol. 116, pp. 1-21.
View/Download from: Publisher's site

FOR Codes: Expanding Knowledge in the Information and Computing Sciences, Application Software Packages (excl. Computer Games), Physical Sciences, Space sciences, Atomic, molecular and optical physics, Astronomical sciences, Application software packages