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 had the opportunity to work 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. 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 the main 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

I would love to supervise students interested in studying these topics. If you have an exciting project in mind, don’t hesitate to email me so we can chat more about it!

To new graduate students: Welcome aboard! Our lab’s research theme for 2025-2027 is the synergy between AI (e.g., neural networks and large language models) and automated software engineering (e.g., program analysis, verification, and testing). Feel free to contact me if you’re interested in exploring this fascinating research area in your master’s program.

Lab News ✨

25 June 2025 - Congratulations to Tze-An Lin for receiving the NSTC Research Grant for University Students! 🤗

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

12 July 2024 - Congratulations to Ming-I Huang for winning the Best English Paper Award in the 20th Taiwan Conference on Software Engineering! 😊

Recent Publications 🚀

  • Chih-Duo Hong, Anthony Lin, Philipp Rümmer, Rupak Majumdar, “Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification,” IEEE Transactions on Software Engineering (TSE), 2025. (preprint)
  • Ming-I Huang, Chih-Duo Hong, and Fang Yu, “Concolic Testing on Individual Fairness of Neural Network Models,” Journal of Information Science and Engineering (JISE). To appear. (preprint)
  • Chih-Duo Hong and Anthony Lin, “Regular Abstractions for Array Systems,” Proceedings of the ACM on Programming Languages (POPL), 2024. (preprint)

For a complete list, please see my Google Scholar.

Services 🤵🏻

Manuscripts ✍️

  • Chih-Duo Hong, Hongjian Jiang, Anthony Widjaja Lin, Micha Schrader, Oliver Markgraf, Tony Tan, “Learning and Interpreting Register Automata.” Under review.
  • Fang Yu, Chih-Duo Hong, Ya-Yu Chi, Yu-Fang Chen, “Constraint-Based Adversarial Example Synthesis for Neural Network Models.” Under review.

Teaching 👨🏻‍🏫

Research 🧐

Below is some advice I feel very helpful to junior researchers (like me), postdocs, and PhD students.

Core Principles ✨

  • Value your time. Protect it wisely.
  • Master the power of writing. This includes natural languages, programming languages, and mathematical proofs.
  • Strive for clarity of thought.
  • Above all, be kind.

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.

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 🕺🕺