About me
I am now a postdoc in Max Planck Institue for Mathematics in Sciences (MPI-MiS), working with Prof. Bernd Sturmfels.
I am very proud to receive my PhD degree from School of Mathematical Sciences, Peking University (PKU). My PhD advisor is Prof. Bican Xia. Find my dissertation here.
I obtained my bachelor’s degree from Hua Loo-Keng honorary class, School of Mathematical Sciences, Beihang University (BUAA).
My research interest lies in the intersection of
- Algebraic Geometry
- Mathematical Logic
- Theorectical Computer Science
For example, given a semi-algebraic set / an algebraic variety $X$ (algebraic geometry), described by a logic formula (logic), I would like to know how can I decide whether $X$ is empty (TCS)?
As another example, given a semi-algebraic set / an algebraic variety $X$, how can I compute its projection image in the low-dimensional space (Quantifier Elimination)?
You may refer to my recent paper on a new Cylindrical Algebraic Decomposition algorithm to see my research interest in more details.
You can find my CV here.