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