Chih-Duo Hong
Name Chih-Duo Hong
Email
Office Tel No. 89055
Educational background Department  of Computer Science ,University of Oxford
Job Title Assistant Professor
Translation missing: en.personal_conference.year Translation missing: en.personal_conference.paper_title
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 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 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
Translation missing: en.personal_project.project_type Translation missing: en.personal_project.year Translation missing: en.personal_project.project_title Translation missing: en.personal_project.participator Translation missing: en.personal_project.job_title Translation missing: en.personal_project.period Translation missing: en.personal_project.unit
MOST Projects 114 前瞻金融資安技術之落地應用與國際合作(1/2) CHEN KUNG,HONG CHIH-DUO,HSIAO SHUN-WEN,TSENG YI-FAN,TSO RAY-LIN,YU FANG 2025.08 ~ 2026.07 National Science and Technology Council
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(3/3) HONG CHIH-DUO Principal Investigator 2025.07 ~ 2027.06 National Science and Technology Council
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(2/3) HONG CHIH-DUO Principal Investigator 2024.07 ~ 2027.06 National Science and Technology Council
Other Projects 112 金融AI雲生態系概念驗證委託研究案 CHANG HSIN-LU,CHUANG HUNG-YU,HONG CHIH-DUO,LIN YI-LING,TSAI TZU-CHIEH,TSAIH RUA-HUAN,YU FANG 2023.07 ~ 2024.06
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(1/3) HONG CHIH-DUO Principal Investigator 2023.07 ~ 2027.06 National Science and Technology Council
Translation missing: en.personal_diploma.country Translation missing: en.personal_diploma.school_name Translation missing: en.personal_diploma.department Translation missing: en.personal_diploma.degree Translation missing: en.personal_diploma.duration
UNITED KINGDOM 英國牛津大學 電腦科學系 博士 2017.04 ~ 2022.03
Translation missing: en.personal_experience.experience_type Translation missing: en.personal_experience.organizationt_title Translation missing: en.personal_experience.department Translation missing: en.personal_experience.job_title Translation missing: en.personal_experience.duration
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 助理教授 2023.02 ~ Translation missing: en.personal_experience.up_to_today