서울대학교 수리과학부
서울특별시 관악구 관악로 1 27동 403호
전화: (02)880-2666
이메일: dhyeon dot snu dot ac dot kr
2015-현재 서울대학교 수리과학부 교수
2020-현재 에이치머신즈(주) CEO
2021-현재 서울대학교 10-10 프로젝트 Private AI 그룹리더
2016-현재 서울대학교 산업수학센터 부센터장
2015 대학수학회 논문상
2014 젊은과학자상
서울대학교
- Linear Algebra, Spring 2025
- Modern Algebra, Spring 2025, Fall 2024
- Topics in algebraic geometry: Computation and formalization of algebraic geometry, Fall 2024
- Homological methods, Spring 2024, Spring 2023, Spring 2021
대수기하학의 모듈리 공간이론을 주요 도구로 사용하여 대수곡선, 벡터속 (vector bundle), nilpotent 행렬 등의 대수적 대상들을 기하학적으로 분류하는 연구를 하였으며, 대수기하학을 컴퓨터 과학에 적용하는 연구를 하고 있습니다. Interactive Theorem Proving, Automatic Theorem Proving 등 머신을 이용한 수학의 연구에도 관심을 가지고 연구합니다.
Read more