起訖年月 | 計畫編號 | 計畫名稱 | 擔任職務 |
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 | 形式化方法於商業流程探勘的應用 | 鼓勵新進教師申請國科會專題研究計畫 |