📖 Educations

• 2024.08 - 2028.07(Expected) The Chinese University of Hong Kong, Ph.D. in Mathematics, Hong Kong SAR, China (Supervisor: Tieyong Zeng, Liu Liu)
• 2020.09 - 2024.06 Lanzhou University, B.S. in Statistics, Lanzhou, China (Supervisor: Zhouping Li, XingXing Jia)
• 2017.09 - 2020.07 High School Affiliated To Nanjing Normal University, Nanjing, China

💻 Short Visiting / Intern

• 2024.10 - 2025.10 Theory Lab of Huawei in Hong Kong Research Institute, Research Intern of Project: Mathematical-Model-Based Image Algorithm Research, Hong Kong SAR, China
• 2024.07 - 2024.08 Peking University, BICMR, AI for Mathematics Formalization and Theorem Proving Seminar, Beijing, China
• 2023.07 - 2023.10 Western University, The Schulich School of Medicine & Dentistry, Mitacs Globalink Research Intern, (Supervisor: Pingzhao Hu), London, Canada