洪智铎
姓名 洪智铎
电子邮件
联络电话 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 ~ 迄今