I’m Henry, and I’m a PhD Candidate in pure Mathematics at Stanford.

I’m interested in both geometry and computation. Geometrically, I have enjoyed thinking about singularities in stationary varifolds, minimal surfaces, and the interface between integral geometry and curvature bounds. Computationally, I have enjoyed thinking about LLM inference, formal verification, and multimodal reasoning / understanding.