About Me

I am currently a postdoc in Computer Science and Engineering in the Hong Kong University of Science and Technology (HKUST) supervised by Amir Goharshady. Before that, I obtained the Ph.D degree in the same department supervised by Prof. Fangzhen Lin in 2024. I received the BS degree in Software Engineering from Sun Yat-sen University (SYSU) in 2019 advised by Prof. Hai Wan. I am interested in formal method, algorithms, and artificial intelligence.