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.

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