Prof. Dr. Wenbo Zhang currently serves as an Associate Professor at the College of Information Technology at Shanghai Ocean University. He obtained a Ph.D. from Shanghai Jiao Tong University in 2020 and a Bachelor’s degree from Southeast University in 2014. His research interests mainly include Formal Verification, Process Algebra, Blockchain, and Artificial Intelligence.
