Shurui Liu

À propos

Je suis actuellement doctorant en mathématiques à l'Université Stanford, CA, États-Unis (depuis l'automne 2022).

Mon intérêt de recherche principal porte sur la théorie géométrique des représentations et le programme de Langlands catégorique. Mon directeur de thèse est Xinwen Zhu. Voir Publications.

Je suis également candidat à une mineure de doctorat en informatique à Stanford. Je m'intéresse aux agents IA, à l'IA pour les mathématiques et à l'apprentissage par renforcement. Voir Projets.

Comme loisirs, je m'intéresse aussi à Lean4 et à la formalisation des mathématiques, et je suis vice-président du club Stanford AI for Lean.

Auparavant, j'ai obtenu ma licence en mathématiques à l'Université de Pékin (2018–2022), Pékin, Chine. Voici mon ancienne page.

Organisations

• Club Stanford AI for Lean à Stanford.
• Je coorganise le Student Learning Seminar on Mathematics and Computation à Stanford avec Henry Bosch. Voici mes notes.