conf.researchr.org / Xu Yang
Registered user since Sun 4 May 2025
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
Personal website: https://scholar.google.com/citations?hl=zh-CN&user=QleNzFUAAAAJ
GitHub: https://github.com/busyxu
Research interests:Software Analysis, Constraint Solving, Evolutionary Computation, Multi-objective optimization
Contributions