Structural Approaches to Quantum Computing
Structural Approaches to Quantum Computing
批准号:
238774-2012
负责人:
Selinger, Peter
金额:
$2.04万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2013
资助国家:
加拿大
项目状态:
已结题
起止时间:
2013-01-01 至 2014-12-31
中文摘要
该研究项目的目的是开发用于量子计算的编程语言,以及用于推理此类语言的数学技术。基于量子物理学定律的量子计算,到目前为止只是一种理论上的可能性,但它可以产生比今天可用的计算机更强大的计算机。对于习惯于为经典机器编写代码的程序员来说,量子物理定律并不直观;通过开发量子编程语言并研究其属性,我们希望缩小理论与实践之间的差距。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Algebraic and number theoretic methods for quantum circuits
-
批准号:RGPIN-2017-05161
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2021
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:RGPIN-2017-05161
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2020
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:RGPIN-2017-05161
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2019
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:507937-2017
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2019
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:RGPIN-2017-05161
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2018
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:507937-2017
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2018
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:507937-2017
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2017
-
负责人:Selinger, Peter
-
依托单位:
Algebraic and number theoretic methods for quantum circuits
-
批准号:RGPIN-2017-05161
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2017
-
负责人:Selinger, Peter
-
依托单位:
Structural Approaches to Quantum Computing
-
批准号:238774-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2015
-
负责人:Selinger, Peter
-
依托单位:
Structural Approaches to Quantum Computing
-
批准号:238774-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2014
-
负责人:Selinger, Peter
-
依托单位:
Structural Approaches to Quantum Computing
-
批准号:238774-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2012
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2011
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2010
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2009
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2008
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2007
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in quantum computing
-
批准号:238774-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.23万
-
财政年份:2006
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in concurrency and communication
-
批准号:238774-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2005
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in concurrency and communication
-
批准号:238774-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2004
-
负责人:Selinger, Peter
-
依托单位:
Semantic methods in concurrency and communication
-
批准号:238774-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2003
-
负责人:Selinger, Peter
-
依托单位:
国内基金
海外基金
Lagrangian origin of geometric approaches to scattering amplitudes
-
批准号:24ZR1450600
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:ALEXANDER OCHIROV
-
依托单位: