Hi! This is Biting Huang.

I am currently a Ph.D. candidate at the School of Software, Tsinghua University, under the supervision of Prof. Fei He. I am a member of the THUFV Lab and received my Bachelor’s degree from the same department at Tsinghua University. My research interests include formal verification, program analysis, and programming languages, with a particular focus on termination analysis of programs.

News

• Our paper "LLM-Guided Loop Bound Generation for Program Termination Verification" has been accepted by ICML'26!2026-05
• Our ICSE'26 paper "Accurate Inference of Termination Conditions" has been selected to receive the ACM SIGSOFT Distinguished Paper Award!2026-03
• Our paper "Accurate Inference of Termination Conditions" has been accepted by ICSE'26!2025-06