研究計畫

起訖年月 計畫編號 計畫名稱 擔任職務
2025/07/01-2026/06/30 NSTC112-2222-E-004-001-MY3 數據轉換系統的正確性與可解釋性的自動推論(3/3) 計畫主持人
2024/07/01-2025/06/30 NSTC112-2222-E-004-001-MY3 數據轉換系統的正確性與可解釋性的自動推論(2/3) 計畫主持人
2024/07/01-2025/06/30 NSTC112-2222-E-004-001-MY3 數據轉換系統的正確性與可解釋性的自動推論(2/3) 計畫主持人
2023/07/01-2024/06/30 NSTC112-2222-E-004-001-MY3 數據轉換系統的正確性與可解釋性的自動推論(1/3) 計畫主持人
2023/07/01-2024/06/30 112A112139 金融AI雲生態系概念驗證委託研究案 共同主持人

自行維護研究計畫

起訖年月 計畫編號 計畫名稱 擔任職務

學術補助

年度 內容 項目
112 形式化方法於商業流程探勘的應用 鼓勵新進教師申請國科會專題研究計畫