Will (Ziang) Li

About

I am a senior at Cornell majoring in Mathematics with a minor in Computer Science. My research interests lie in hyperbolic geometry, complex dynamics, Teichmüller theory, and differential geometry. Also, I have a side interest in formalization in Lean 4 (see my current projects below).

Publications

• (with Y. Luo) Formalization of Sullivan's No Wandering Domains Theorem in Lean

Submitted [arXiv]

Reading Projects

I was introduced to the field of hyperbolic geometry and geometric topology by Prof. Benjamin Dozier. Currently, I am studying McMullen's Riemann Surfaces, Dynamics, and Geometry supervised by Prof. Yusheng Luo.

You can find my reading reports here: 

• Hyperbolic Manifolds, Tessellations, and Fundamental Domains (Fall 2025)

• Sullivan's Dictionary and Teichmüller Theory (Spring 2026)

Formalization Projects

• Riemann Dynamics: a Lean 4 library formalizing important results in complex dynamics, hyperbolic geometry, and Teichmüller theory.

• MLC Formal: a Lean 4 library, developed in collaboration with Prof. Jeremy Kahn, formalizing existing results relevant to the MLC conjecture (the Mandelbrot set is locally connected), with the long-term goal of proving and formalizing the conjecture.

• Poincare High Dim: a formalization of the generalized Poincaré conjecture in dimensions ≥ 5, supervised by Prof. Xin Zhou. (Now part of the differential-geometry repository.)