Lim wins Korean Mathematics Society award