Chih-Duo Hong
Name Chih-Duo Hong
Email
Office Tel No. 89055
Job Title Assistant Professor
Year Paper Title
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
Project Category Year Project Title Participator Job Title Period Unit
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(3/3) HONG CHIH-DUO Principal Investigator 2025.07 ~ 2026.06 National Science and Technology Council
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(2/3) HONG CHIH-DUO,HONG CHIH-DUO Principal Investigator 2024.07 ~ 2026.06 National Science and Technology Council
Other Projects 112 金融AI雲生態系概念驗證委託研究案 TSAIH RUA-HUAN,CHUANG HUNG-YU,TSAI TZU-CHIEH,CHANG HSIN-LU,LIN YI-LING,YU FANG,HONG CHIH-DUO 2023.07 ~ 2024.06
MOST Projects 112 數據轉換系統的正確性與可解釋性的自動推論(1/3) HONG CHIH-DUO Principal Investigator 2023.07 ~ 2026.06 National Science and Technology Council
Country School Name Department Degree Duration
UNITED KINGDOM 英國牛津大學 電腦科學系 博士 2017.04 ~ 2022.03
Experience Category Organization Title Department Job Title Duration
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 助理教授 2023.02 ~ Up to today