Experience & Honors

Experience

• Teaching Assistant - Software Analysis and Verification, 2024, 2025, 2026
• Class Counselor (带班辅导员), School of Software, Tsinghua University, 2023–2026

Honors and Awards

• ACM SIGSOFT Distinguished Paper Award, ICSE 2026
• Outstanding Student Leader of Tsinghua University, 2025
• Outstanding Graduate Award of Beijing, 2023
• Excellent Graduate of Tsinghua University, 2023