课题基金 / 基金详情

Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach

Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach
量子程序的推理和逐步开发：谓词变换器语义方法
批准号：
FT100100218
负责人：
Prof Yuan Feng
金额：
$39.58万
依托单位：
University of Technology Sydney
依托单位国家：
澳大利亚
项目类别：
ARC Future Fellowships
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-01-01 至 2014-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/FT100100218
关键词：
Reasoningaboutstepwisedevelopmentquantum

项目摘要

项目成果

Prof Yuan Feng的其他基金

相似基金

相关文献

中文摘要
翻译
该项目将提供一个框架，通过严格的谓词转换语义来推理和逐步开发量子程序，并为量子软件工程提供突破性的理论和前沿技术。
英文摘要
The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal Verification of Quantum Logic Circuits
  • 批准号：
    DP220102059
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $31.33万
  • 财政年份：
    2022
  • 负责人：
    Prof Yuan Feng
  • 依托单位：
    University of Technology Sydney
Verification and analysis of quantum programs
  • 批准号：
    DP180100691
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $26.93万
  • 财政年份：
    2018
  • 负责人：
    Prof Yuan Feng
  • 依托单位：
    University of Technology Sydney
Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems
  • 批准号：
    DP130102764
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $23.45万
  • 财政年份：
    2013
  • 负责人：
    Prof Yuan Feng
  • 依托单位：
    University of Technology Sydney
海外基金