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, who is now an associate professor in University of Oxford. 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.