Yifan Bai

Welcome to my webpage!

I’m currently a second-year phd student, under the supervision of Prof. Jingwei Liang. My research interests are non-smooth optimization, image processing, machine learning and mathematics formalization.

General Information

Email Address yifanbai at sjtu dot edu dot cn
Address Room 402, No.6 Sicence Building
Research Interests Non-smooth optimization, image processing, machine learning, mathematical formalization

Education

  • 2019.09 - 2023.06
    Bachelor in Mathematics and Applied Mathematics
    School of Mathematics, Sun Yat-Sen University
    • Mathematics and Applied Mathematics
    • Honors Graduate

Research Experience & Internships

  • 2024.07 - now
    Mathematical Formalization
    • Formalization of convergence analysis of algorithms in optimization using Lean4
  • 2022.10 - 2023.06
    Algorithm Engineer (Internship) at HUAWEI
    • Computational Mathematics Team / Developed algorithms in GNSS & signal processing

Other Interests

  • Hobbies: Singing, Travelling, etc.