Bingyu Xia (Preferred)
Bingyu Xia
Researcher, Shing-Tung Yau Center of Mathematics, Southeast University
Joined
February 2026
Names
Emails
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Shing-Tung Yau Center of Mathematics, Southeast University (seu.edu.cn)
2022 – Present
Postdoc
Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Chinese Academy of Sciences (amss.ac.cn)
2018 – 2022
Postdoc
Mathematics, Max Planck Institut, Max-Planck Institute (mpip.mpg.de)
2017 – 2018
PhD student
Mathematics, Ohio State University, Columbus (osu.edu)
2011 – 2017
Advisors, Relations & Conflicts
Expertise
formal mathematics (Lean 4)
2024 – Present
derived category
, stability conditions
2011 – Present