허준이 교수 호암상 수상 기념 강연 (Lorentzian Polynomials)
Mechanization of proof: from 4-Color theorem to compiler verification
2022-2 Rookies Pitch: Representation Theory(허태혁)
Limit computations in algebraic geometry and their complexity
Geometry, algebra and computation in moduli theory
<학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity
<학부생을 위한 ɛ 강연> Self-Supervised Learning in Computer Vision
돈은 어떻게 우리 삶에 돈며들었는가? (불확실성 시대에 부는 선형적으로 증가하는가?)
Toward bridging a connection between machine learning and applied mathematics
Symplectic Geometry, Mirror symmetry and Holomorphic Curves
Diophantine equations and moduli spaces with nonlinear symmetry
Partial differential equations with applications to biology
