I am currently a Master’s student at the Formal Verification Group, supervised by Dr. Mingshuai Chen and co-advised by Dr. Shenghao Yuan. My research areas include Formal Methods, Program Verification, Programming Theory/Languages, and Theorem Proving. I also have a strong interest in compilers and mathematical logic.