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.
- Formal Verification
- Process Algebra
- Email: wbzhang (at) shou.edu.cn
- Postal Address:
College of Information Technology
Shanghai Ocean University
No. 999, Hucheng Ring Road, Shanghai