DP 2025 Success
QSI_DP 25_Body

Image: AdobeStock.

The Australian Research Council (ARC) has announced the successful research projects under the 2025 ARC Discovery Projects Scheme. We are thrilled to share that QSI researchers have been awarded funding for their groundbreaking project, “Foundation of Refinement Techniques for Quantum Programming”.

Led by Professor Mingsheng Ying, Professor Sanjiang Li and Dr Yuval Sanders, this project aims to build a theoretical foundation for refinement techniques in quantum programming, addressing challenges of lacking compelling applications and applicable software for quantum computing. With advancements like IBM's 1000+ qubit Condor, quantum hardware is moving from prototypes to practical use. The project establishes a systematic framework for quantum programming using proven methods of program refinement, ensuring correctness and safety. Anticipated outcomes include formal semantics, a refinement calculus, and practical tools for quantum machine learning applications. The project's success strengthens Australia's leadership in quantum computing, contributing to the nation's global standing.

For more details, see DP250102952

Share
Share this on LinkedIn
Back to QSI News
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.