I am a lecturer in College of Information Technology at Shanghai Ocean University. I obtained a PhD degree from Shanghai Jiao Tong University in 2020, supervised by Prof. Yuxi Fu, and a Bachelor degree from Southeast University in 2014.

Reseach Interests

  • Formal Verification
  • Process Algebra
  • Blockchain


  • Email: wbzhang (at) shou.edu.cn
  • Postal Address:
    College of Information Technology
    Shanghai Ocean University
    No. 999, Hucheng Ring Road, Shanghai