Discovery Projects - Grant ID: DP180100691 [ 2018-01-01 - 2021-12-31 ]

Research Grant

[Cite as]

Researchers: Prof Yuan Feng (Chief Investigator) ,  Prof Mingsheng Ying (Chief Investigator) ,  Dr Taolue Chen (Partner Investigator) ,  Prof Dr Ugo Dal Lago (Partner Investigator)

Brief description 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.

Funding Amount $384,810

Funding Scheme Discovery Projects

View this grant in the ARC Data Portal

Click to explore relationships graph
Viewed: [[ro.stat.viewed]]