Emailyonggyuchoi@postech.ac.kr

EducationPh.D., KAIST

Research AreaModuli stacks of shtukas and Shimura varieties, and their arithmetic | Geometric and categorical Langlands program | Formalization of higher category theory in proof assistants