
Green’s function for initialboundary value problem

Mechanization of proof: from 4Color theorem to compiler verification

On the distributions of partition ranks and cranks

Qcurvature in conformal geometry

Zeros of the derivatives of the Riemann zeta function

Geometry, algebra and computation in moduli theory

GromovWittenFloer theory and Lagrangian intersections in symplectic topology

High dimensional nonlinear dynamics

What is model theory?

Essential dimension of simple algebras

Restriction theorems for real and complex curves

Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)

Deformation spaces of Kleinian groups and beyond

Idempotents and topologies

Recent progress on the BrascampLieb inequality and applications

Existence of positive solutions for φLaplacian systems

RiemannHilbert correspondence for irregular holonomic Dmodules

Normal form reduction for unconditional wellposedness of canonical dispersive equations

Random conformal geometry of Coulomb gas formalism

Categorification of DonaldsonThomas invariants