執行目標與成果

│ 分項3 量子軟體技術與應用開發：量子程式驗證與轉換

• 計畫簡介

編譯系統在釋放硬體所能提供計算能力扮演關鍵角色。本計畫將開發量子編譯系統，讓量子演算法能夠經由編譯在量子硬體處理器上執行。編譯器開發需要充足的軟體與處理器架構資訊以分析軟硬體間的相互作用，本計畫將建構量子編譯系統，探討量子程序的合成、模擬、驗證和測試，將實現量子演算法的程式自動轉換與優化至量子組合語言程式，於量子處理器上執行。透過電子設計自動化(Electronic Design Automation)技術，本計畫將研發量子編譯系統在合成、模擬、驗證和測試的各項關鍵技術與軟體工具鏈，介接量子計算的應用軟體與處理器硬體。

量子程序編譯系統

• 團隊成員

計畫總主持人

•江介宏教授/國立臺灣大學電子工程學研究所  詳細資訊(個人網頁)(實驗室網頁)

共同主持人

•李建模教授/國立臺灣大學電子工程學研究所   詳細資訊(個人網頁)(實驗室網頁)

•洪士灝教授/國立臺灣大學資訊工程學系暨研究所  詳細資訊(個人網頁)(實驗室網頁)

•黃鐘揚教授/國立臺灣大學電子工程學研究所  詳細資訊(個人網頁)(實驗室網頁)