To access this element change to forms mode OFF
Grant Award View - GA2603-V1
Verification and analysis of quantum programs
GA ID:
GA2603-V1
Agency:
Australian Research Council
Approval Date:
10-Nov-2017
Variation Publish Date:
5-May-2020
Variation Date:
5-May-2020
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
1-Jan-2018 to 31-Dec-2021
Value (AUD):
$384,810.00
(GST inclusive where applicable)
Varies:
GA2603
- Verification and analysis of quantum programs
One-off/Ad hoc:
No
Aggregate Grant Award:
No
PBS Program Name:
ARC 17/18 Discovery
Grant Program:
Discovery Projects
Grant Activity:
Verification and analysis of quantum programs
Purpose:
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.
Internal Reference ID:
DP18 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