Jeong Han Kim — South Korean mathematician