| 姓名 | 洪智鐸 |
|---|---|
| 電子郵件 | |
| 聯絡電話 | 89055 |
| 個人網站 | https://chihduo.github.io/ |
| 研究專長 | formal methods, software verification, automated reasoning |
| 學歷 | 英國牛津大學 電腦科學系 |
| 職稱 | 助理教授 |
| 計畫類別 | 年度 | 計畫名稱 | 參與人 | 職稱/擔任之工作 | 計畫期間 | 補助/委託或合作機構 |
|---|---|---|---|---|---|---|
| 科技部 | 114 | 前瞻金融資安技術之落地應用與國際合作(1/2) | 左瑞麟,洪智鐸,紀博文,郁方,許建隆,陳恭,曾一凡,黃思皓,楊明豪,蕭舜文,羅嘉寧 | 共同主持人 | 2025.08 ~ 2026.07 | 國科會 |
| 科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(3/3) | 洪智鐸,蕭貴徽 | 計畫主持人 | 2025.07 ~ 2027.06 | 國科會 |
| 科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(2/3) | 洪智鐸,蕭貴徽 | 計畫主持人 | 2024.07 ~ 2027.06 | 國科會 |
| 非科技部 | 112 | 金融AI雲生態系概念驗證委託研究案 | 周行一,林怡伶,姜堯民,洪智鐸,郁方,張欣綠,莊弘鈺,臧正運,蔡子傑,蔡瑞煌 | 共同主持人 | 2023.07 ~ 2024.06 | 中華電信股份有限公司企業客戶分公司 |
| 科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(1/3) | 洪智鐸 | 計畫主持人 | 2023.07 ~ 2027.06 | 國科會 |
| 國家 | 學校名稱 | 系所 | 學位 | 期間 |
|---|---|---|---|---|
| 英國 | 英國牛津大學 | 電腦科學系 | 博士 | 2017.04 ~ 2022.03 |
| 經歷類別 | 服務機關名稱 | 單位 | 職務 | 期間 |
|---|---|---|---|---|
| 校內本職 | 政治大學 | 資訊管理學系 | 助理教授 | 2023.02 ~ 迄今 |
