At Michigan State University, I am a postdoctoral scholar in mathematics working with François Greer and Laure Flapan.
My research centers on concrete, precise properties of moduli spaces, usually focusing on one particular space at a time and studying its geometry in detail.
I am also enthusiastic about machine-assisted proofs and formal verification, and especially drawn to results whose statements and proofs feel both precise and elegant.
My thesis advisor is Dragos Oprea at the University of California, San Diego.
I obtained my B.S. in Mathematics and Applied Mathematics from Zhejiang University.
Contact: kongboc1 (at) msu (dot) edu · C318 Wells Hall