Dong Yang received a B.S. degree in Automation from Sun Yat-sen University, Guangzhou, China, in 2010, and an M.S. degree in Micro-electronics and Solid State Electronics in 2017 from the National University of Defense Technology, Changsha, China, where he is currently working toward a Ph.D. degree. His research interests include formal methods.

Wei Dong received a B.S. and Ph.D. degrees in Computer Science from the National University of Defense Technology, Changsha, China, in 1997 and 2002, respectively. He was a Lecturer from 2002 to 2004 and an Associate Professor from 2004 to 2010 at the College of Computer Science, National University of Defense Technology, where he has been a Professor in Software Analysis and Verification since 2010. He has authored or coauthored more than 60 articles and two textbooks. He has served on more than 20 program committees, and as the Program Co-Chair of several conferences and workshops. His research interests include program analysis and verification, program synthesis, and runtime verification. Prof. Dong is a member of the China Computer Federation.

Wei Lu received B.S and M.S degrees in Software Engineering from the National University of Defense Technology, Changsha, China. His current research interests include runtime verification, reactive synthesis,  control of reactive, real-time, hybrid, and probabilistic systems, automata theory,  and UAV security.

Sirui Liu received a B.S degree in Software Engineering from the National University of Defense Technology, Changsha, China, where he is currently pursuing a Ph.D degree. His current research interests include formal methods, large language models, control of reactive, real-time, hybrid, and probabilistic systems, and automata theory.

Yanqi Dong received a B.S degree in Software Engineering from the National University of Defense Technology, Changsha, China, where he is currently pursuing an M.S. degree. His current research interests include formal methods, reinforcement learning, control of reactive, real-time, hybrid, and probabilistic systems, and automata theory.