Discovery Projects - Grant ID: DP210102449

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP210102449

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Coupling Techniques for Reasoning about Quantum Programs. 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.

Funded Activity Details

Start Date: 01-01-2021

End Date: 17-11-2022

Funding Scheme: Discovery Projects

Funding Amount: $405,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Application Software Packages (excl. Computer Games) |

Other Keywords

Application Software Packages (excl. Computer Games) | Computation Theory and Mathematics | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences

Related Links