Mr. Chih-Duo Hong
Email: chihduo.hong [at]

Research Interests

My research topics include automated verification of distributed and concurrent protocols (safety, liveness, privacy, security, and fairness properties), computational learning and synthesis, software verification, and program analysis.

I hold a DPhil/PhD from the University of Oxford, as well as an MSc and a Bsc from National Taiwan University. Now I am working with Prof. Anthony Lin, aiming to enhance safety and interpretability of deep neural networks using symbolic model checking techniques.


Please refer to my Google Scholar page for a publication list.


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 K-pop songs.