I am Chunyang Wang 「王春阳」, an incoming Ph.D. student at Imperial College London supervised by Dr. Gege Wen. I obtained my MSc degree in Applied Computational Scince and Engineering from Imperial College London (under the supervision of Dr. Stephan Kramer and Prof. Matthew Piggott) and my BEng in Computer Science and Information Technology from Southwest University.