I am an undergraduate student at the Programming Languages Lab, Peking University. I am broadly interested in programming languages, compilers, and formal methods. Currently, my focus lies in exploring program verification.