UTS:QSI is pleased to report its success in two ARC schemes announced on 10 November.
ARC Discovery Project - Verification and analysis of quantum programs, $384,810.00
Professor Yuan Feng; Professor Mingsheng Ying; Professor Dr Ugo Dal Lago; Dr Taolue Chen
This project aims to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. This project will introduce new ideas and techniques to tackle the problem of verifying and analysing quantum programs and provide efficient algorithms and effective tools to help quantum program compilation and optimisation. Successful development of the outcomes and tools in this project will help Australian industries build frontier technologies for quantum software engineering and establish and preserve their competitive status in the era of quantum computing.
ARC Discovery Early Career Researcher Award - Dr Nengkun Yu
Quantum property testing-a fundamental technology for quantum big data, $329,446.00
This project aims to develop fundamental technology for analysing the big data that arises from quantum physics and is expected to generate new knowledge in the fields of quantum information and theoretical computer science. New algorithms for verifying entanglement and estimating entropy of quantum systems are anticipated. These outcomes should significantly enhance our ability to learn information from, and about, quantum systems with immediate applications in the engineering of quantum technologies, especially for current experiments.