Discovery Projects - Grant ID: DP180100691

Funding Activity

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

Funding Status
Active

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

Verification and analysis of quantum programs. 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.

Funded Activity Details

Start Date: 01-01-2018

End Date: 31-12-2023

Funding Scheme: Discovery Projects

Funding Amount: $384,810.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 |

Other Keywords

Computation Theory and Mathematics | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences

Related Links