I am a Ph.D. student in the Computer Science Department at Virginia Tech, advised by Prof. Dan Williams. My research focuses on operating systems, with an emphasis on extended Berkeley Packet Filter (eBPF) and verification. Currently, I am working on improving the eBPF verifier via enhancing static validation.

Education

• [2022 - present] Ph.D. in CS, Virginia Tech
• [2020 - 2023] M.S. in CS, KTH Royal Institute of Technology
• [2017 - 2021] B.E. in ECE, Shanghai Jiao Tong University

Professional Services

• [2026] Artifact Evaluation Committee, FAST
• [2025] Artifact Evaluation Committee, CCS
• [2025] Artifact Evaluation Committee, USENIX

Awards

• [2023] Bitshares Fellowship, VT
• [2023] CCI SWVA Cyber Innovation Scholarship, VT
• [2021] KTH Covid-19 Financial Aid Scholarship, KTH
• [2020] Hattrick Award, KTH