洪智鐸
姓名 洪智鐸
電子郵件
聯絡電話 89055
研究專長 formal methods, software verification, automated reasoning
職稱 助理教授
年度 論文名稱
2024 Chih-Duo Hong*;Anthony Lin, 2024.01, 'Regular Abstractions for Array Systems, ' The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), IET London.(ACM, DBLP, SCOPUS, ESCI)(*為通訊作者), Jan. 2024
2020 Oliver Markgraf*;Chih-Duo Hong;Anthony Lin;Muhammad Najib;Daniel Neider, 2020.11, 'Parameterized Synthesis with Safety Properties, ' The 18th Asian Symposium on Programming Languages and Systems (APLAS), Kyushu University.(DBLP, Springer)(*為通訊作者), Nov. 2020
2019 Pablo Barceló*;Chih-Duo Hong*;Xuan-Bach Le*;Anthony Lin*;Reino Niskanen*, 2019.07, 'Monadic Decomposability of Regular Relations, ' The 46th International Colloquium on Automata, Languages and Programming (ICALP), University of Patras.(*為通訊作者), Jul. 2019
2019 Chih-Duo Hong*;Anthony Lin;Rupak Majumdar;Philipp Rümmer, 2019.07, 'Probabilistic Bisimulation for Parameterized Systems, ' The 31st International Conference on Computer-Aided Verification (CAV), NYU.(DBLP, Springer)(*為通訊作者), Jul. 2019
2017 Yu-Fang Chen*;Chih-Duo Hong*;Anthony Lin*;Philipp Rümmer*, 2017.10, 'Learning to Prove Safety over Parameterised Concurrent Systems, ' The 17th International Conference on Formal Methods in Computer Aided Design (FMCAD), TU Wien.(DBLP, IEEE)(*為通訊作者), Oct. 2017
計畫類別 年度 計畫名稱 參與人 職稱/擔任之工作 計畫期間 補助/委託或合作機構
科技部 112 數據轉換系統的正確性與可解釋性的自動推論(3/3) 洪智鐸 計畫主持人 2025.07 ~ 2026.06 國科會
科技部 112 數據轉換系統的正確性與可解釋性的自動推論(2/3) 洪智鐸,洪智鐸 計畫主持人 2024.07 ~ 2026.06 國科會
非科技部 112 金融AI雲生態系概念驗證委託研究案 蔡瑞煌,周行一,姜堯民,莊弘鈺,蔡子傑,張欣綠,林怡伶,郁方,洪智鐸,臧正運 共同主持人 2023.07 ~ 2024.06 中華電信股份有限公司企業客戶分公司
科技部 112 數據轉換系統的正確性與可解釋性的自動推論(1/3) 洪智鐸 計畫主持人 2023.07 ~ 2026.06 國科會
國家 學校名稱 系所 學位 期間
英國 英國牛津大學 電腦科學系 博士 2017.04 ~ 2022.03
經歷類別 服務機關名稱 單位 職務 期間
校內本職 政治大學 資訊管理學系 助理教授 2023.02 ~ 迄今