Chih-Duo Hong

Chih-Duo Hong

Assistant Professor at NCCU

I’m an Assistant Professor with the Department of Management Information Systems at National Chengchi University (NCCU) in Taiwan. Before my journey at NCCU, I was a postdoctoral researcher at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, and a visiting scholar at Uppsala University and Max Planck Institute for Software Systems. I earned my DPhil/PhD from the University of Oxford and completed my MSc and BSc at National Taiwan University.

Research Interests 🤓

My work involves employing mathematical and logical methods to gain insights into how systems and software behave. Below are some areas I focus on:

  • Verification and testing of software and AI systems
  • Model checking and automated generation of proofs and programs
  • Automated reasoning about modal and temporal logic

To prospective students: Our lab’s research theme for 2025-2027 is the synergy among AI (e.g., NNs and LLMs), automated reasoning, and software engineering. Feel free to contact me if you’re interested in exploring this fascinating research area!

A calendar for conference deadlines 👀

Lab News ✨

Jul 2026 - Congrats to Yi-Hua Chen for winning the Best English Paper Award at the Taiwan Conference on Software Engineering 🎉

Jun 2026 - A paper coauthored with Yen-Pang Chen and Fang Yu has been accepted by Information Processing and Management 💪

Jun 2026 - Congrats to Dong Chen and Chih-Cheng Yang for two papers (Chen’s and Yang’s) accepted at the IEEE International Conference on Software Quality, Reliability, and Security🎉 The acceptance rate is 25.9% this year.

May 2026 - Congrats to Li-Jen Lin for a paper accepted at the IEEE International Conference on Artificial Intelligence Testing🎉 The acceptance rate is 17.3% this year.

Feb 2026 - Gratefully acknowledge the College of Commerce for their support through another 3 years of merit-based research stipend. 😊

Jun 2025 - Congrats to Tze-An Lin for receiving the NSTC Research Grant for University Students 🎉

Apr 2025 - A paper coauthored with Anthony Lin, Philipp Rümmer, and Rupak Majumdar has been accepted by IEEE Transactions on Software Engineering 💪

Jul 2024 - Congrats to Ming-I Huang for her paper winning the Best English Paper Award at the Taiwan Conference on Software Engineering 🎉

Jan 2024 - A paper coauthored with Anthony Lin was published in the Proceedings of the ACM on Programming Languages (POPL) 💪

Selected Publications 🚀

For a complete list, please see my Google Scholar.

  • Chih-Duo Hong, Yen-Pang Chen, and Fang Yu, “Signature filtering: a lightweight enhancement for statistical watermark detection in large language models,” Information Processing and Management (IPM), 2026. (preprint) (SCIE, SSCI, IF: 8.1)
  • Chih-Duo Hong, Anthony Lin, Philipp Rümmer, and Rupak Majumdar, “Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification,” IEEE Transactions on Software Engineering (TSE), 2025. (preprint) (SCIE, IF: 6.0)
  • Chih-Duo Hong and Anthony Lin, “Regular Abstractions for Array Systems,” Proceedings of the ACM on Programming Languages (POPL), 2024. (preprint) (ESCI, IF: 3.3)

Manuscripts ✍️

  • Chih-Duo Hong, Hongjian Jiang, Anthony Lin, Oliver Markgraf, Julian Parsert, Tony Tan, “Extracting Robust Register Automata from Neural Networks over Data Sequences.” Under review. (preprint)

Services 🤵🏻

Selected Teaching 👨🏻‍🏫

Hobby 😎

I am a Dance Dance Revolution enthusiast. The software I use is Stepmania, and the dance pad I use is Dance mat LTEK EX PRO X. I mostly dance to Anime and K-pop songs 🕺🕺

Research 🧐

For PhD Students 🎓

A PhD is an intense yet rewarding personal journey. You are not alone; here is some advice from fellow PhD students and graduates who have walked this path:

Research Skills 🤔

Essential advice on research from leading figures in the field:

Wondering “Why theory/math?” Watch this compelling talk by Fields Medalist Tim Gowers.

Photo

Below are some photos I took during my walk around the campus 🌙✨