Honors & Awards

Recognition in mathematical modeling, computing, and university life.

National Second Prize, Huashu Cup Mathematical Contest in Modeling (team leader).
Provincial Third Prize (Guangdong), National Undergraduate Mathematical Contest in Modeling (team leader).
Provincial Third Prize (Guangdong), China Collegiate Computing Contest, Network Technology Challenge (graduate track, core member).
Academician Scholarship and Star of Culture and Sports Award.

Additional Training

Completed the AI4MATH formal mathematics course organized by Prof. Zaiwen Wen at Peking University, with training in Lean and mathematical formalization.