Structural Approaches to Quantum Computing

量子计算的结构方法

• 批准号: 238774-2012
• 负责人: Selinger, Peter
• 金额: $ 2.04万
• 依托单位: Dalhousie University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=547086
• 关键词: Structural; Approaches; Quantum; Computing

The purpose of this research project is to develop programming languages for quantum computing, as well as mathematical techniques for reasoning about such languages. Quantum computing, which is based on the laws of quantum physics, is so far only a theoretical possibility, but one that could yield vastly more powerful computers than those available today. The laws of quantum physics are not intuitive to programmers used to writing code for classical machines; by developing quantum programming languages and studying their properties, we hope to narrow the gap between theory and practice.

这个研究项目的目的是开发用于量子计算的编程语言，以及关于这些语言的推理的数学技术。到目前为止，基于量子物理定律的量子计算只是一种理论上的可能性，但它可能会产生比目前可用的计算机强大得多的计算机。对于习惯于为经典机器编写代码的程序员来说，量子物理定律并不直观；通过开发量子编程语言并研究它们的性质，我们希望缩小理论和实践之间的差距。