| During Tenure | Number | Title | Position |
| 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雲生態系概念驗證委託研究案 | 共同主持人 |
| During Tenure | Number | Title | Position |
| Year | Content | Project |
| 114 | Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification | 投稿 |
| 112 | 形式化方法於商業流程探勘的應用 | 鼓勵新進教師申請國科會專題研究計畫 |