Foundation of Refinement Techniques for Quantum Programming. This project aims to build a theoretical foundation for refinement techniques in quantum programming, addressing challenges of lacking comp

Description

Foundation of Refinement Techniques for Quantum Programming. 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.. Scheme: Discovery Projects. Field: 4613 - Theory of Computation. Lead: Prof Mingsheng Ying