Wenbo Zhang

I am studying for a PhD at BASICS, Shanghai Jiao Tong University, supervised by Prof. Yuxi Fu.

Contact

• Email: wbzhang (at) sjtu.edu.cn
• Office: Room 3-327, SEIEE Building

Papers

• Wenbo Zhang, Huan Long, Xian Xu. Uniform Random Process Model Revisited. In Proceedings of the 17st Asian Symposium on Programming Languages and Systems (APLAS'19), 388-404, 2019.
• Wenbo Zhang, Huan Long. State-of-the-Art Survey on Verification of Vector Addition Systems. (in Chinese) Journal of Software, Vol. 29(6), 1566-1581, 2018.