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

Contact

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

Publications