I’m Henry, and I am a PhD Candidate in 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 chip design, LLM inference, formal verification, and multimodal reasoning / understanding.