About Me

I am a postdoctoral research fellow at Hua Loo-Keng Center for Mathematical Sciences, AMSS,CAS in Beijing, working with Prof. Lihong Zhi and Prof. Ke Ye. I was previously a research fellow at CNRS@CREATE in Singapore from August 2023 to August 2024 working with Prof. Victor Magron and Prof. Jean-Bernard Lasserre. I received my doctor's degree of mathematics under the supervision of Prof. Lihong Zhi at AMSS-CAS in July 2023.

I'm working on robust polynomial optimization and its applications in neural network verification.

Publications

• Computing sparse fourier sum of squares on finite abelian groups in quasi-linear time (with Ke Ye and Lihong Zhi), Applied and Computational Harmonic Analysis.
• Lower Bounds of Functions on Finite Abelian Groups (with Ke Ye and Lihong Zhi), The 29th International Computing and Combinatorics Conference (COCOON 2023)
• The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true (with Hao Liang, Sizhuo Yan and Lihong Zhi), Israel Journal of Mathematics, accepted.
• A Characterization of Perfect Strategies for Mirror Games (with Sizhuo Yan, Tianshi Yu and Lihong Zhi)，Proceedings of the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC'23)

News & Activity

• 2022.9.5-9, attended POEMA Final Workshop in Paris (online).
• 2023.6.15-18, attended 第十三届计算机数学大会 in Dalian.