Shurui Liu

À propos

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

Mon intérêt de recherche en mathématiques 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. Du côté de la recherche en IA, je m'intéresse aux systèmes agentiques, à l'IA pour les mathématiques et à l'apprentissage par renforcement. Voir Recherche.

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 à la formalisation des mathématiques (Lean4) et au système d'exploitation Linux.

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