About

Hang Lu Su

I’m interested in mathematical formalization and AI. In Summer 2026, I was at Imperial College London, working on AnnalsChallenge with Kevin Buzzard’s group. I contribute to mathlib and co-founded the MadLean meetups in Madrid.

I completed my PhD at ICMAT-UAM under the supervision of Yago Antolín, where I was a Marie Skłodowska-Curie and “la Caixa” Foundation co-fund fellow. My thesis studied left-orderability of groups using tools from formal languages and geometric group theory, and received a cum laude distinction (maximal grade).

In Summer 2017, I was at the Recurse Center, a self-directed retreat for programmers in NYC, and some of the programming posts on this blog date from that time. I started the blog between undergraduate and graduate studies because I wanted math to feel friendlier and more accessible.

I am fluent in English and French, decent in Spanish, and speak a bit of Cantonese and Mandarin.

Last updated: 2026-10-08.