I am a Ph.D candidate in Computer Science and Technology at Xi'an Jiaotong University. I am highly motivated and accomplished researcher in network reliability, specializing in network verification. I am open to discussion and cooperation on my research interests, including formal methods, network data plane verification, and network diagnosis and repair. With a strong track record of published articles, conference presentations, and a collaborative approach to interdisciplinary research, I am eager to dedicate my passion for innovation and commitment to academic excellence.