洪智鐸
姓名 洪智鐸
電子郵件
聯絡電話 89055
個人網站 https://chihduo.github.io/
研究專長 formal methods, software verification, automated reasoning
學歷 英國牛津大學 電腦科學系
職稱 助理教授
年度 論文名稱
2026 Li-Jen Lin;Chih-Duo Hong*, 2026.07, 'Robustness Verification of Recurrent Neural Networks with Abstraction Refinement, ' International Conference on Artificial Intelligence Testing (AITest), IEEE.(*為通訊作者), Jul. 2026
2026 Chih-Duo Hong*;Chih-Cheng Yang;Yu Wang;Fang Yu*, 2026.07, 'Influence-Guided Concolic Testing of Transformer Robustness, ' International Conference on Software Quality, Reliability, and Security (QRS), IEEE.(*為通訊作者), Jul. 2026
2026 Dong Chen;Chih-Duo Hong*;Fang Yu*, 2026.06, 'ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing, ' International Conference on Software Quality, Reliability, and Security (QRS), IEEE.(*為通訊作者), Jun. 2026
2024 Ming-I Huang;Fang Yu;Chih-Duo Hong*, 2024.07, 'Concolic Testing on Individual Fairness of Neural Network Models, ' Taiwan Software Engineering Conference, NTUT.(*為通訊作者), Jul. 2024
2024 Chih-Duo Hong*;Anthony Lin, 2024.01, 'Regular Abstractions for Array Systems, ' The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), ACM.(ACM)(*為通訊作者), 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
計畫類別 年度 計畫名稱 參與人 職稱/擔任之工作 計畫期間 補助/委託或合作機構
科技部 115 前瞻金融資安技術之落地應用與國際合作(2/2) 左瑞麟,洪智鐸,紀博文,郁方,許建隆,陳恭,曾一凡,黃思皓,楊明豪,蕭舜文,羅嘉寧 共同主持人 2026.08 ~ 2027.07 國科會
科技部 115 黑箱模型的形式化解釋技術 洪智鐸 計畫主持人 2026.08 ~ 2027.07 國科會
科技部 114 前瞻金融資安技術之落地應用與國際合作(1/2) 左瑞麟,洪智鐸,紀博文,郁方,許建隆,陳恭,曾一凡,黃思皓,楊明豪,蕭舜文,羅嘉寧 共同主持人 2025.08 ~ 2026.09 國科會
科技部 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 ~ 迄今