Shurui Liu
Math PhD & CS PhD minor candidate @Stanford; Math BS @PKU
About
I am currently a math Ph.D. candidate at Stanford University, CA, USA (2022 Fall – present).
My major research interest lies in geometric representation theory and categorical Langlands program. My advisor is Xinwen Zhu. See more on Publications.
I am also a CS Ph.D. minor candidate at Stanford University. I am interested in AI agents, AI for Math, and reinforcement learning. See more on Projects.
As hobbies, I am also interested in Lean4 and formalization of mathematics and serve as vice president in Stanford AI for Lean club at Stanford University.
Previously, I was a math undergraduate at Peking University (2018–2022), Beijing, China. Here is my old homepage from that time.
Organizations
- AI for Lean club at Stanford.
- I am co-organzing Student Learning Seminar on Mathematics and Compuatation at Stanford with Henry Bosch. Here is my notes.