Zhiang Wu

Zhiang Wu


Hong Kong University of Science and Technology

I have been involved in an intern program at RWTH Aachen University during the second half of 2022. I worked on the topic of latticed Craig interpolation under the supervision of Dr. Mingshuai Chen, where we aim to apply the well-established technique of Craig interpolation to the verification of (possibly infinite-state) probabilistic programs encoding randomized algorithms.

I am currently a Ph.D. candidate at the University of Waterloo, Canada.


  • Formal Verification
  • Probabilistic Programs
  • Inductive Invariants
  • Craig Interpolation


  • B.Sc. in Computer Science & Mathematics, 2023

    Hong Kong University of Science and Technology

  • Exchange Student, 2022

    École Polytechnique Fédérale de Lausanne


Conference Papers