Hechi's Blog

Home

News

Fight depression! Sertraline 50 mg/day.

Study pp-adic analysis and formalize with Lean.

Scientific computing with Julia.

System and game development with Rust.

Write notes in Typst instead of LaTeX\LaTeX

About

My name is Hechi Zhang (張 和持), born in Jul 1998 in Leshan (樂山), China and currently a graduate student in the Department of Mathematics at Indiana University Bloomington since Aug 2024, under Prof. Matthias Strauch. This site serves as my blog.

From Feb 2022 to Jul 2024, I studied at Leiden University (Universiteit Leiden) and earned my master of science degree under Dr. Eugenia Rosu, with thesis Hilbert Modular Surfaces and Hirzebruch-Zagier Cycles.

From Sep 2017 to Jun 2021, I studied at Beijing University of Chemical Technology (北京化工大學) and earned my bachelar of science degree.

figure
A Photo of myself, Leshan, 2014
figure
Me in front of Mt. Everest, 2014
figure
The apartment where I grew up, Leshan, 2016
figure
Me and friends at a mountain pass in Qinghai (青海), 2017
figure
View after the pass, 2017
figure
On the other side of the mountain is the Qinghai Lake, 2017

This calls an end to my adolescence. For adulthood updates check out the math material and more!

CC BY-SA 4.0 Hechi Zhang. Last modified: March 27, 2026. Website built with Franklin.jl and the Julia programming language.