Hi there 👋 Graduated from Beihang University (BSc) and Nanjing University (MSc, Pascal Lab). Currently working at Tencent, focusing on Compilers/StaticAnalysis. Also a member of the rust-analyzer contributors team. Interested in PL, Compilers and Emacs. ✏️ My Blog (in Chinese) 📝 My Resume (in English) 我的简历 (in Chinese)