| During Tenure |
Number |
Title |
Position |
| 2026/08/01-2027/07/31 |
NSTC115-2221-E-004-002 |
黑箱模型的形式化解釋技術 |
計畫主持人 |
| 2025/08/01-2026/07/31 |
NSTC114-2634-F-004-002-MBK |
前瞻金融資安技術之落地應用與國際合作(1/2) |
共同主持人 |
| 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雲生態系概念驗證委託研究案 |
共同主持人 |
