研究方向
- 正規方法, 包括模型驗證, 定理證明 等
- 高度系統安全要求或高度資訊安全要求之系統功能驗證與自動化安全分析
- 晶片系統驗證
- 硬體驗證加速器開發
- 以人工智慧輔助驗證效能之相關研究
研究計畫
執行中計畫
計畫名稱－
針對邊緣計算的分散式系統之異常偵測與正規資訊安全驗證
執行期間－2018/8 ~ 2019/7
補助單位－
科技部
計畫名稱－
CPU verification
執行期間－2018 ~ 2020
已結案計畫
計畫名稱－
針對安全攸關之物聯網系統建立高擴展性的正規驗證與故障及因果分析工具集
執行期間－2017/3 ~ 2018/2
補助單位－
科技部
