Scholar
Chih-Duo Hong (洪智鐸)
Google Scholar ID: Mnc26mEAAAAJ
National Chengchi University, Taiwan
Citations & Impact
Citations
227
H-index
10
i10-index
11
Publications
16
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published papers in IEEE Transactions on Software Engineering, Journal of Information Science and Engineering, and Proceedings of the ACM on Programming Languages. Awards: Supervised students who received NSTC Research Grant for University Students and Best English Paper Award. Reviewer for conferences and journals such as ATVA’24, VMCAI’26, CAV’20, APLAS’23, ICALP’24, CAV’24, MFCS’25, AAAI’26, and Journal of Automated Reasoning.
Research Experience
- Worked as a postdoctoral researcher at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU) in Germany and as a visiting scholar at Uppsala University, Sweden. Currently, at NCCU, focusing on the synergy between AI and automated software engineering.
Education
- PhD from the University of Oxford; MSc and BSc from National Taiwan University.
Background
- Research Interests: Verification and testing of software and AI systems, model checking and automated generation of proofs and programs, automated reasoning about modal and temporal logic. Professional field: Management Information Systems. Brief introduction: Currently an Assistant Professor at the Department of Management Information Systems, National Chengchi University, Taiwan.
Miscellany
- Personal interests: Involved in organizing committees for academic conferences, like FLOLAC 2025. Teaching experience: Courses include Software Analysis and Testing, Fairness and Explainability in Machine Learning, and Process Mining.
Co-authors