計畫名稱：針對異質整合且具有高安全性晶片之設計技術研發--子計畫三：適用於新興技術之晶片與矽智財保護技術
參與工作：計畫主持人
起迄年月：2022/08~2025/07
補助機構：國科會
計畫名稱：111年度前瞻技術模組教材發展計畫--前瞻工具：低功耗鰭式場效電晶體設計
參與工作：協同主持人，教材開發
起迄年月：2022/08~2023/07
補助機構：教育部
計畫名稱：人工智慧在前瞻電子設計自動化技術的應用--子計畫一：神經網路硬體實現設計自動化技術(II)
參與工作：計畫主持人
起迄年月：2020/08~2022/07
補助機構：科技部
計畫名稱：人工智慧在前瞻電子設計自動化技術的應用--子計畫一：神經網路硬體實現設計自動化技術(I)
參與工作：計畫主持人
起迄年月：2019/08~2020/07
補助機構：科技部
計畫名稱：考慮循序狀態之循序電路邏輯加密技術之研究
參與工作：計畫主持人
起迄年月：2018/08~2019/07
補助機構：科技部
計畫名稱：應用於矽智財保護之邏輯加密與解密技術之研究
參與工作：計畫主持人
起迄年月：2017/08~2018/07
補助機構：科技部
計畫名稱：臨界邏輯電路最佳化與驗證技術及其應用之研究
參與工作：計畫主持人
起迄年月：2016/08~2017/07
補助機構：科技部
計畫名稱：應用於三維積體電路可測性與可靠性設計技術--子計畫四：應用於三維積體電路之軟錯誤緩和技術
參與工作：計畫主持人
起迄年月：2015/08~2016/07
補助機構：科技部
計畫名稱：單電子電晶體陣列自動化除錯技術之研究
參與工作：計畫主持人
起迄年月：2014/08~2015/07
補助機構：科技部
計畫名稱：基於布林可滿足性之完整邏輯蘊含技術與其應用於邏輯最佳化技術之研究
參與工作：計畫主持人
起迄年月：2013/08~2014/07
補助機構：國科會
計畫名稱：車用IC電路之錯誤偵測與診斷
參與工作：共同主持人
起迄年月：2013/01~2013/12
補助機構：工研院
計畫名稱：單電子電晶體陣列驗證技術之研究
參與工作：計畫主持人
起迄年月：2012/08~2013/07
補助機構：國科會
計畫名稱：以邏輯最佳化技術促進基於滿足性之有限循序電路等效驗證之技術研究
參與工作：計畫主持人
起迄年月：2011/10~2012/09
補助機構：國科會