Published a paper on a new Cylindrical Algebraic Decomposition algorithm.
Research Experience
Currently pursuing a PhD and will graduate in July 2026. He is on the job market looking for a post-doc position.
Education
PhD candidate in Mathematics at Peking University, supervised by Prof. Bican Xia; Bachelor's degree from Hua Loo-Keng Honorary Class, School of Mathematical Sciences, Beihang University (BUAA).
Background
Research interests: Algebraic Geometry, Mathematical Logic, Theoretical Computer Science. For example, given a semi-algebraic set / an algebraic variety X (algebraic geometry) described by a logic formula (logic), he studies how to decide whether X is empty (TCS). Another example is computing its projection image in the low-dimensional space (Quantifier Elimination). More details can be found in his recent paper.
Miscellany
His homepage is powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.