Activities

Professional Activities

• Artifact Eveluation Committee Member
  • 2026: TACAS’26
  • 2025: TACAS’25, CAV’25
• External Reviewer
  • 2026: TACAS’26
  • 2025: FMCAD’25
  • 2024: FM’24
  • 2023: TACAS’23, FM’23
  • 2022: TACAS’22, FMCAD’22, NFM’22
• Volunteer
  • 2024: CAV’24

Awards

• Best Tool Paper Award - 17th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2025

• Graduate Research Studentship - University of Waterloo, 2020 - 2026

• National Endeavor Fellowship - University of Electronic Science and Technology of China, 2012 - 2014