Discovery Projects - Grant ID: DP220102059

Funding Activity

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

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

Formal Verification of Quantum Logic Circuits. The project aims to develop comprehensive theory and effective techniques for formal modelling, equivalence checking, and model checking of quantum circuits. The research is timely as the rapid growth of quantum computing hardware makes it an urgent task to develop verification techniques for quantum hardware design and quantum compilers. The successful development of the algorithms and software tools proposed in this project will significantly advance the knowledge on formal verification of quantum circuits and help Australian quantum start-ups build and maintain an internationally leading position in the rapidly emerging quantum electronic design automation (EDA) industry.

Funded Activity Details

Start Date: 31-12-2022

End Date: 30-12-2025

Funding Scheme: Discovery Projects

Funding Amount: $435,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