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