课题基金 / 基金详情

Quantum Computing

Quantum Computing
量子计算
批准号:
CRC-2021-00260
负责人:
Amy, Matthew
金额:
$8.74万
依托单位:
依托单位国家:
加拿大
项目类别:
Canada Research Chairs
财政年份:
2022
资助国家:
加拿大
项目状态:
已结题
起止时间:
2022-01-01 至 2023-12-31
关键词:

项目摘要

项目成果

Amy, Matthew的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Dr. Amy's research aims to understand and ultimately access the real-world computational capabilities and applications of quantum computers.Quantum computers are computers which operate according to the physical laws of quantum mechanics. On a theoretical level, quantum computation promises to solve certain problems exponentially faster than the best known classical methods, with applications from breaking conventional cryptography to the simulation and discovery of new materials, drugs, and processes for fighting climate change. A canonical first real-world application is the simulation of nitrogenase, an enzyme involved in the process of nitrogen fixation needed for fertilizer production and which has resisted simulation even with modern super-computers. Advances in nitrogen and carbon fixation would have deep impacts on our ability to fight climate change --- nitrogen fixation alone accounts for up to 3% of the total CO2 emissions and 1% of the energy used worldwide.In practice, quantum computation involves a high degree of overhead necessary to operate them and maintain the system in an error-free state. Without careful accounting and reduction of the overheads involved through the process of quantum compilation, these overheads can diminish or potentially erase quantum computational advantages.Dr. Amy's research focuses on the development of techniques for programming, compiling, and ultimately reducing the overheads of quantum programs. In the short term, Dr. Amy's research will allow scientists to experiment with, test and validate currently available quantum devices, as well as assess the computational advantages of future ones. In the long term, the lessons learned and tools developed now will enable the programming and operation of large-scale, universal quantum computers.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal methods for reliable, high-performance quantum computing
  • 批准号:
    RGPIN-2022-03319
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.11万
  • 财政年份:
    2022
  • 负责人:
    Amy, Matthew
  • 依托单位:
Formal methods for reliable, high-performance quantum computing
  • 批准号:
    DGECR-2022-00363
  • 项目类别:
    Discovery Launch Supplement
  • 资助金额:
    $0.91万
  • 财政年份:
    2022
  • 负责人:
    Amy, Matthew
  • 依托单位:
Verification and repair of faulty software systems
  • 批准号:
    475593-2015
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
  • 资助金额:
    $2.55万
  • 财政年份:
    2015
  • 负责人:
    Amy, Matthew
  • 依托单位:
Static Analysis of Concurrent Programs
  • 批准号:
    415729-2011
  • 项目类别:
    University Undergraduate Student Research Awards
  • 资助金额:
    $0.33万
  • 财政年份:
    2011
  • 负责人:
    Amy, Matthew
  • 依托单位:
海外基金