About me

I am a fifth-year PhD candidate in Mathematics at Peking University (PKU). My advisor is Prof. Bican Xia.

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

1. Algebraic Geometry
2. Mathematical Logic
3. 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.