洪智鐸
姓名 洪智鐸
電子郵件
聯絡電話 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 ~ 迄今