Schemes in Lean
Organizers
Speaker
Time
Thursday, March 28, 2024 12:15 PM - 1:00 PM
Venue
A4-1
Abstract
We will discuss how the notion of "schemes" in algebraic geometry can be formalized in the Lean theorem prover.
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).