|Mr. Chih-Duo Hong|
|Email:||chihduo.hong [at] gmail.com|
Research InterestsMy 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.