I am an undergraduate student at Xi'an Jiaotong University's NetVerify Lab, where I conduct research under the guidance of Prof. Peng Zhang.

My research topics of interest is network verification. Currently, I am working on improving the performance of verification by enhancing the verification framework and data structure.