Shurui Liu

About

I am currently a math Ph.D. and CS Ph.D. minor candidate at Stanford University, CA, USA (2022 Fall – present).

My math research interest lies in geometric representation theory and categorical Langlands program. My advisor is Xinwen Zhu. For AI research, I am interested in agentic systems, AI for Math, and reinforcement learning. See more on Research.

I've recently started writing a blog to help bridge the information gap between mathematicians and AI researchers. See Blog.

As hobbies, I am also interested in formalization of mathematics (Lean4) and Linux OS.

Previously, I was a math undergraduate at Peking University (2018–2022), Beijing, China. Here is my old homepage from that time.

Fun/silly fact: my Linux laptop basically has no GUI (except for the browser), and the power button is remapped to a surprise music button — partially thanks to the influence of my friend Alexander López.

Organizations

• Stanford Lean Club at Stanford.
• I am co-organizing Student Learning Seminar on Mathematics and Computation at Stanford with Henry Bosch. Here is my notes.

Visitors