Yuhang Guo is a first-year PhD student in the ADT group, school of Computer Science and Engineering (CSE), at University of New South Wales (UNSW) Sydney, supervised by Haris Aziz and Toby Walsh. Before that, he obtained his master’s and bachelor’s degrees from University of Electronic Science and Technology of China (UESTC). He was a master's student in the Algorithms and Logic Lab at UESTC and was supervised by Dong Hao. Before pursuing his master’s degree, he obtained his bachelor’s degree from School of Mathematical Sciences (Major) and School of Computer Science and Engineering (Minor).