Minhyong Kim is a South Korean mathematician who specialises in arithmetic geometry and anabelian geometry.