CV

Education

• Ph.D in Computer Science, University of Illinois at Urbana-Champaign, Aug. 2025 - Present
• B.S. in Information and Computing Science, Peking University, Sep. 2021 - Jun. 2025

Research experience

• Jan. 2023 - Jun. 2025: Research Assistant
  • Program Languages Lab, Peking University
  • Using and improving formal verification tools for real-world operating systems
  • Supervisor: Prof. Xin Zhang
• June 2024 – Sept. 2024: Research Assistant
  • madPL, University of Wisconsin-Madison
  • Improve analysis result of automatic differentiation via abstract interpretation
  • Supervisor: Prof. Thomas W. Reps

Service and leadership

• Serve as president of Peking University Student Algorithm Association from Feb. 2024 to Feb. 2025.