← 返回 資訊管理系
蔡明憲 Ming-Hsien Tsai
助理教授
學歷
2013 國立臺灣大學資訊管理研究所 博士
2004 國立臺灣大學資訊管理研究所 碩士
2002 國立臺灣大學會計系、資訊管理系 學士
2023 國家資通安全研究院 副研究員
2021-2023 國家實驗研究院 副研究員
2018 國立臺灣大學 資訊管理系 兼任助理教授
2018 國立臺灣師範大學 資訊工程學系 兼任助理教授
2013-2021 中央研究院 博士後研究員
經歷
2023 國家資通安全研究院 副研究員
2021-2023 國家實驗研究院 副研究員
2018 國立臺灣大學 資訊管理系 兼任助理教授
2018 國立臺灣師範大學 資訊工程學系 兼任助理教授
2013-2021 中央研究院 博士後研究員
研究領域
正規方法、程式驗證、時態邏輯、自動機、模型檢驗、定理證明
CONTACT
聯絡資料
辦公室：T2-407-3
網站：前往網站 →
最後更新：2026年06月14日