-

Basic examples of Lean

组织者

文鏞碩 , 清水浩二

演讲者

文鏞碩

时间

2023年03月23日 12:15 至 13:15

地点

1118

演讲者介绍

Yong Suk Moon于2022年秋作为助理研究员入职BIMSA。他的研究方向包括数论和算术几何。具体而言，他现在的研究集中在p-进霍奇理论，Fontaine-Mazur猜想和p-进Langlands纲领。他于2016年在哈佛大学取得博士学位，之后在普度大学作为访问助理教授工作3年，2019-2022年在美国亚利桑那大学做博士后。