I am an Assistant Professor in the NetVerify Lab at Xi’an Jiaotong University. I received a Ph.D. in Computer Science from Xi’an Jiaotong University under the supervision of Prof. Peng Zhang. My research focuses on advancing formal methods from scalable and practical perspectives. I design data structures to accelerate multi-round and incremental SMT solving, which have been successfully applied to access control policy analysis (AccessRefinery, FSE 2026). I also study how to efficiently encode network configurations as SMT constraints, thereby accelerating network verification (VeriBoost, FM 2026). In addition, I work on mining network specifications to help operators automatically generate verification targets (NetMiner, ICNP 2023; NetMiner, TON 2025). Outside of research, I enjoy playing badminton and swimming, as well as discussing academic topics with others.