Since June 2026, I have been participating in a remote internship with the Formal Verification Group under the supervision of Dr. Mingshuai Chen and Dr. Shenghao Yuan. My project focuses on the verification of Linux eBPF systems. My research interests include Formal Methods, Program Verification and Operating Systems.

In the spring of 2026, I visited the group during the Chinese Bridge program. After completing my bachelor’s degree, I hope to return and pursue a PhD with the group.

Send me an email or check me out on GitHub or Codeberg and let’s build things together!