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.

Publications:

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

Acknowledgement of Country

UTS acknowledges the Gadigal people of the Eora Nation, the Boorooberongal people of the Dharug Nation, the Bidiagal people and the Gamaygal people, upon whose ancestral lands our university stands. We would also like to pay respect to the Elders both past and present, acknowledging them as the traditional custodians of knowledge for these lands.