研究方向
- 正規方法, 包括模型驗證, 定理證明 等
- 高度系統安全要求或高度資訊安全要求之系統功能驗證與自動化安全分析
- 晶片系統驗證
- 硬體驗證加速器開發
- 以人工智慧輔助驗證效能之相關研究
研究計畫
執行中計畫
計畫名稱－
具有高延展性、永續性，可進行推論及學習之多模態人工智慧融合引擎(2/2)
執行期間－2025/5 ~ 2026/3
補助單位－
國科會
計畫名稱－
以正規方法分析量化前後之圖像增強的神經網路品質差異
執行期間－2024/8 ~ 2025/11
補助單位－
國科會
已結案計畫
計畫名稱－
針對安全攸關之物聯網系統建立高擴展性的正規驗證與故障及因果分析工具集
執行期間－2017/3 ~ 2018/2
補助單位－
科技部
計畫名稱－
針對邊緣計算的分散式系統之異常偵測與正規資訊安全驗證
執行期間－2018/8 ~ 2019/7
補助單位－
科技部
計畫名稱－
針對邊緣計算的分散式系統之異常偵測與正規資訊安全驗證(II)
執行期間－2019/8 ~ 2020/7
補助單位－
科技部
計畫名稱－
神經網路硬體設計的安全分析與驗證
執行期間－2021/8 ~ 2022/7
補助單位－
國科會
計畫名稱－
量子電路的驗證方法
執行期間－2023/8 ~ 2024/7
補助單位－
國科會
計畫名稱－
具有高延展性、永續性，可進行推論及學習之多模態人工智慧融合引擎(1/2)
執行期間－2024/5 ~ 2025/7
補助單位－
國科會
