I am currently interested in studying moduli spaces (of curves) and their various invariants such as derived categories and K_0 ring.
I am also interested in the new emergent ideas of using AI in mathematics and in particular using neural networks to get predictions/ results related to commutative algebra and geometric invariant theory.
Oriented cohomology theory of some moduli spaces via blow ups, (with Michael Zeng) (arxiv link)
These projects are mostly experimental and meant for exploring the use of neural networks in algebraic geometry, rather than serious research. However, I do intend to conduct actual research on these topics sometime soon.
GIT semistability for binary forms of varying degrees (joint with Michael Zeng)
Lean Formalization Projects And News
In Spring 2026, I am mentoring a team of undergraduate students, along with Leopold Mayer and Giovanni Inchiostro, in a project to formalize Geometric Invariant Theory, as part of the Math AI Lab at UW.
Some number theory problems - showing absence of roots of some Diophantine equations