Xinyao Wang
Graduate Student,
University of Electronic Science and Technology of China
Xinyao Wang is a PhD student in Computer Science at the University of Electronic Science and Technology of China. His research interests lie in theoretical computer science, particularly constraint satisfaction problems, automata theory, and combinatorial game theory. His current research focuses on automatic constraint satisfaction problems (AutCSP), including complexity classifications, succinct representations of constraint languages, and the role of polymorphisms in tractability.