Verification and analysis of quantum programs

量子程序的验证和分析

• 批准号: DP180100691
• 负责人: Prof Yuan Feng
• 金额: $ 26.93万
• 依托单位: University of Technology Sydney
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2018
• 资助国家: 澳大利亚
• 起止时间: 2018-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP180100691
• 关键词: Verification; analysis; 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.

该项目旨在为量子程序的验证和分析开发理论基础和技术，以及高效的算法和有效的工具。该项目将引入新的思想和技术来解决验证和分析量子程序的问题，并提供有效的算法和有效的工具来帮助量子程序编译和优化。该项目的成果和工具的成功开发将帮助澳大利亚工业界建立量子软件工程的前沿技术，并在量子计算时代建立和保持其竞争地位。