To access this element change to forms mode OFF
Grant Award View - GA214459-V1
Formal Verification of Quantum Logic Circuits
GA ID:
GA214459-V1
Agency:
Australian Research Council
Approval Date:
14-Jan-2022
Variation Publish Date:
26-Jul-2023
Variation Date:
26-Jul-2023
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
31-Dec-2022 to 30-Dec-2025
Value (AUD):
$435,000.00
(GST inclusive where applicable)
Varies:
GA214459
- Formal Verification of Quantum Logic Circuits
One-off/Ad hoc:
No
Aggregate Grant Award:
No
PBS Program Name:
ARC 21/22 Discovery
Grant Program:
Discovery Projects
Grant Activity:
Formal Verification of Quantum Logic Circuits
Purpose:
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.
GO ID:
GO Title:
Discovery Projects for funding commencing in 2022
Internal Reference ID:
DP22 Round 1
Selection Process:
Targeted or Restricted Competitive
Confidentiality - Contract:
No
Confidentiality - Outputs:
No
Grant Recipient Details
Recipient Name:
University of Technology Sydney
Recipient ABN:
77 257 686 961
Grant Recipient Location
Suburb:
ULTIMO
Town/City:
ULTIMO
Postcode:
2007
State/Territory:
NSW
Country:
AUSTRALIA
Grant Delivery Location
State/Territory:
NSW
Postcode:
2007
Country:
AUSTRALIA