Dr. Chenyang Zhu received his B.Sc. degree in Communication Engineering from Huazhong University of Science and Technology in 2012; his M.Sc. degree in Embedded from the University of Pennsylvania, USA, in 2014; and his Ph.D. degree in Computer Science from the University of Southampton, UK, in 2020. He is an Associate Professor at the School of Computer Science and Artificial Intelligence, Changzhou University. His research interests mainly focus on multi-agent reinforcement learning, game theory, real-time system modeling, distributed systems, parallel systems, and cyber-physical systems; formal methods, theorem proving, model checking, and probabilistic model checking; and transfer learning and unsupervised domain adaptation.