I am a student in the ANTS group from Xi'an Jiaotong University. My research topics of interest include scalable network verification and parallel network verification. I am interested in challenges of improving performance of network verification tools by utilizing parallel computing technology and reducing redundancy in algorithms.

I obtained my bachelor degree in Computer Science from Xi'an Jiaotong University in 2022, and is expected to obtain my master degree in 2025.