杜蘭大學獲得367萬美元用於研發量子計算

杜蘭大學計算機科學系主席邁克爾·梅絲洛夫(Michael Mislove)正在研究量子計算的新方法。

位於美國南部路易斯安那州新奧爾良市的杜蘭大學教素有「南方哈佛」的美譽。該校計算機系主席邁克爾·梅絲洛教授夫近日從美國空軍科學研究辦公室獲得了367萬美元的資助，用以開發與量子計算相關的前沿技術。

該項目的目標是開發用於設計和分析量子計算機編程語言的工具和相關方法，以期實現比現在的計算機能夠更高效、快速地完成任務和解決問題。

梅絲洛夫教授稱：「雖然已經存在許多量子計算機的原型，但傳統的檢查程序的方法在量子環境中是不適用的。」

他還表示:「因此，我們需要開發新的方法——語義模型、形式方法和相關工具等。這有這樣，我們才能在將量子程序用於真正的量子計算機之前，就能證明這些量子程序的正確性。隨著通用型量子計算機的出現的時間日漸迫近，我們就更有必要設計出正確編程這一設備的方法。」

作為杜蘭大學計算機科學系的主席和赫伯特·布坎南數學教授，梅絲洛夫教授領導著來自杜蘭大學、賓夕法尼亞大學、愛荷華大學和斯坦福大學的研究人員所組成的團隊，這也是國防部多所大學研究計劃(MURI)項目的一部分。MURI項目中的團隊主要負責廣泛學科領域中重點優先問題的研究。

這項名為《量子編程的語義、形式推理和工具支持》項目已經連續3年受到資助，還有可能再延期兩年，預計未來兩年還會受到634萬美元的撥款。

本文由量子計算最前沿基於相關資料原創編譯，轉載請聯繫本公眾號獲得授權。

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！