Zhaoyang Zhang

I am Zhaoyang Zhang (张朝阳 in Chinese), a first-year PhD student in the Computer Science and Engineering Department at The Hong Kong University of Science and Technology (HKUST), advised by Jiasi Shen . I am interested in program sythesis, program translation, and their applications in software engineering.