量子软件的理论与方法

量子计算是计算机科学与量子力学的交叉学科。由于量子计算机潜在的强大计算能力，它受到了广泛的关注。软件是计算机的灵魂，量子软件在发挥未来量子计算机的能力中必将起到关键性的作用。但是，关于量子软件的研究还处于起步阶段，只有一些零散的工作。本项目的目的是系统深入地发展量子软件的理论和方法一些重要方面，主要研究如下问题：1．量子计算的数学模型与逻辑基础， 包括：量子逻辑门的普适性与量子电路的化简，基于量子逻辑的计算理论，量子纠缠的范畴论刻画；2．顺序量子程序及其形式语义， 包括：量子循环程序，顺序量子程序的形式语义；3．量子通信并发系统， 包括量子通信并发系统的进程代数及其在量子通信协议验证中的应用；4．量子软件理论研究对于量子信息与量子力学的反作用，包括：量子程序设计方法在量子算法设计中的应用，物理系统的量子计算模型。