课题基金 / 基金详情

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
海外基金