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.

J'ai récemment commencé à tenir un blog afin de combler le fossé d'information entre mathématiciens et chercheurs en IA. Voir Blog.

Comme loisirs, je m'intéresse aussi à Lean4 et à la formalisation des mathématiques.

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

Fait amusant/farfelu : mon ordinateur portable Linux n'a pratiquement aucune interface graphique (à part le navigateur), et le bouton d'alimentation est reconfiguré en un bouton « musique surprise » — en partie grâce à l'influence de mon ami Alexander López.

Organisations

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

Visiteurs