Name:Xu Yang

Bio:

Xu Yang received the M.S. degree from the College of Computer Science and Cyberspace Security, Xiangtan University, Xiangtan, China, in 2022. He is now pursuing the Ph.D. degree at the College of Computer Science and Technology, National University of Defense Technology, China. His current research interests include symbolic execution, constraint solving, and formal methods.

Country:China

Affiliation:College of Computer Science and Technology, National University of Defense Technology

Research interests:Software Analysis, Constraint Solving, Evolutionary Computation, Multi-objective optimization