Math
I'm a Ph.D. candidate at the Academy of Mathematics and Systems Science, Chinese Academy of Sciences (AMSS, UCAS), advised by Prof. Yifei Chen. I expect to graduate in June 2027. Here is my cv.
I work on the Sarkisov program for algebraically integrable foliations and related questions in the minimal model program. A list of my works is on the Papers page.
Lately I have also been exploring AI4Math, human-verifying AI-generated mathematical arguments and counterexamples.
Code
I also enjoy coding and exploring Linux. I've patched my version of dwm and other suckless components, wrote a Hugo theme (with which there are two sites of mine), and vibe-coded small command-line and TUI tools. See the Project page (e.g. Calman, Markerss, Cutui, Lichtung).