Perfectoid spaces in Lean
Organizers
Speaker
Time
Thursday, September 19, 2024 12:15 PM - 1:00 PM
Venue
A4-1
Abstract
We will briefly discuss how the notion of perfectoid spaces is formalized in Lean.
Speaker Intro
Yong Suk Moon joined BIMSA in 2022 fall as an assistant professor. His research area is number theory and arithmetic geometry. More specifically, his current research focuses on p-adic Hodge theory, Fontaine-Mazur conjecture, and p-adic Langlands program. He completed his Ph.D at Harvard University in 2016, and was a Golomb visiting assistant professor at Purdue University (2016-19) and a postdoctoral researcher at University of Arizona (2019 - 22).