David Donghoon Hyeon

Professor

Algebraic geometry: Moduli theory, Stability, Algebraic curves, Bundles

Computer science: Computational complexity, Computer vision

dhyeon@seoul.ac.kr

Sanghyeok Park

PhD Candidate

Formalization in Lean 4: Gröbner bases, Buchberger’s algorithm

Image Space Modeling: Manifold learning

202123018@snu.ac.kr

최선종

PhD Candidate

Autoformalization in Lean: Autoformalization in Lean

sunjc@snu.ac.kr

Dongwook Cheon

PhD Candidate

Formalization in Lean 4: Faugère’s F4 algorithm

dongwook0826@snu.ac.kr