杜兰大学获得367万美元用于研发量子计算

杜兰大学计算机科学系主席迈克尔·梅丝洛夫(Michael Mislove)正在研究量子计算的新方法。

位于美国南部路易斯安那州新奥尔良市的杜兰大学教素有“南方哈佛”的美誉。该校计算机系主席迈克尔·梅丝洛教授夫近日从美国空军科学研究办公室获得了367万美元的资助，用以开发与量子计算相关的前沿技术。

该项目的目标是开发用于设计和分析量子计算机编程语言的工具和相关方法，以期实现比现在的计算机能够更高效、快速地完成任务和解决问题。

梅丝洛夫教授称：“虽然已经存在许多量子计算机的原型，但传统的检查程序的方法在量子环境中是不适用的。”

他还表示:“因此，我们需要开发新的方法——语义模型、形式方法和相关工具等。这有这样，我们才能在将量子程序用于真正的量子计算机之前，就能证明这些量子程序的正确性。随着通用型量子计算机的出现的时间日渐迫近，我们就更有必要设计出正确编程这一设备的方法。”

作为杜兰大学计算机科学系的主席和赫伯特·布坎南数学教授，梅丝洛夫教授领导着来自杜兰大学、宾夕法尼亚大学、爱荷华大学和斯坦福大学的研究人员所组成的团队，这也是国防部多所大学研究计划(MURI)项目的一部分。MURI项目中的团队主要负责广泛学科领域中重点优先问题的研究。

这项名为《量子编程的语义、形式推理和工具支持》项目已经连续3年受到资助，还有可能再延期两年，预计未来两年还会受到634万美元的拨款。

本文由量子计算最前沿基于相关资料原创编译，转载请联系本公众号获得授权。