Pagehttps://yonggyuchoimath.github.io

OfficeRoom 312, Mathematics Science Building

Emailyonggyuchoi@postech.ac.kr

EducationPh.D., KAIST

Research AreaModuli stacks of shtukas and their arithmetic | Geometric and categorical Langlands program | Formalization in proof assistants