Structures of Formal Proofs
2023-1 Geometric Toplology (정홍택)
2021-2 Rookies Pitch: Probability Theory (조수빈)
Lie group actions on symplectic manifolds
Counting number fields and its applications
Descent in derived algebraic geometry
<학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭
2022-1 Rookies Pitch: Symplectic/Algebraic Geometry (좌동욱)
정년퇴임 기념강연회: 숙제
Classical and Quantum Probability Theory
<학부생을 위한 ε 강연> 수학과 예술 - 초기 컴퓨터 그래픽
<학부생을 위한 ɛ 강연> 4차 산업혁명, 글로벌 디지털 혁신과 일자리 전쟁, 대학의 역할
4-manifold topology and disk embedding
A New Approach to Discrete Logarithm with Auxiliary Inputs
<학부생을 위한 ε 강연> 동형암호와 근사정수론
<청암상 수상 기념 특별강연> 동형암호, 기계학습, 근사정수론
Topological surgery through singularity in mean curvature flow
A modified separation method to solve a heat-transfer boundary value problem
Fermat´s last theorem
Birational Geometry of varieties with effective anti-canonical divisors
