姓名 | 洪智鐸 |
---|---|
電子郵件 | |
聯絡電話 | 89055 |
研究專長 | formal methods, software verification, automated reasoning |
職稱 | 助理教授 |
計畫類別 | 年度 | 計畫名稱 | 參與人 | 職稱/擔任之工作 | 計畫期間 | 補助/委託或合作機構 |
---|---|---|---|---|---|---|
科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(3/3) | 洪智鐸,蕭貴徽 | 計畫主持人 | 2025.07 ~ 2026.06 | 國科會 |
科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(2/3) | 洪智鐸,洪智鐸,蕭貴徽 | 計畫主持人 | 2024.07 ~ 2026.06 | 國科會 |
科技部 | 112 | 數據轉換系統的正確性與可解釋性的自動推論(1/3) | 洪智鐸 | 計畫主持人 | 2023.07 ~ 2026.06 | 國科會 |
非科技部 | 112 | 金融AI雲生態系概念驗證委託研究案 | 蔡瑞煌,周行一,姜堯民,莊弘鈺,蔡子傑,張欣綠,林怡伶,郁方,洪智鐸,臧正運 | 共同主持人 | 2023.07 ~ 2024.06 | 中華電信股份有限公司企業客戶分公司 |
國家 | 學校名稱 | 系所 | 學位 | 期間 |
---|---|---|---|---|
英國 | 英國牛津大學 | 電腦科學系 | 博士 | 2017.04 ~ 2022.03 |
經歷類別 | 服務機關名稱 | 單位 | 職務 | 期間 |
---|---|---|---|---|
校內本職 | 政治大學 | 資訊管理學系 | 助理教授 | 2023.02 ~ 迄今 |