刘抒睿

关于我

我目前是斯坦福大学数学系博士研究生（2022年秋季至今）。

我的主要研究方向是几何表示论和范畴化Langlands纲领。我的导师是朱歆文。详见论文。

我同时是斯坦福大学计算机科学博士辅修研究生，对AI智能体、AI for Math和强化学习感兴趣。详见项目。

我最近开始写博客，希望弥合数学家与人工智能研究者之间的信息鸿沟。详见博客。

作为兴趣爱好，我对Lean4和数学形式化也很感兴趣。

此前，我在北京大学数学科学学院获得学士学位（2018–2022）。这是我当时的旧主页。

趣味冷知识： 我的 Linux 笔记本基本上没有图形界面（除了浏览器），而且电源键被我重新映射成了一个「惊喜音乐」按钮 —— 这部分要归功于我的朋友 Alexander López 的影响。

组织

• 斯坦福大学 Stanford Lean Club 社团。
• 我与 Henry Bosch 在斯坦福共同组织 Student Learning Seminar on Mathematics and Computation。这是我的笔记。

访客