洪智铎
姓名 洪智铎
电子邮件
联络电话 89055
研究专长 formal methods, software verification, automated reasoning
职称 助理教授
年度 论文名称
2024 Ming-I Huang;Fang Yu;Chih-Duo Hong*, 2024.07, 'Concolic Testing on Individual Fairness of Neural Network Models, ' 台湾软件工程研讨会, 北科大.(*为通讯作者), 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), 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 ~ 迄今