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

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This biography of a living person needs additional citations for verification. (June 2020) This biographical article is written like a résumé. (June 2020)

Kim received his PhD at Yale University in 1990 under the supervision of Serge Lang and Barry Mazur, going on to work in a number of universities, including M.I.T., Columbia, Arizona, Purdue, the Korea Institute for Advanced Study, UCL (University College London), the University of Oxford, where he was Head of the Number Theory Research Group, and the University of Warwick, where he was the Christopher Zeeman Professor of Algebra, Geometry, and the Public Understanding of Mathematics. He is currently the Director of the International Centre for Mathematical Sciences and Sir Edmund Whittaker Professor of Mathematical Sciences at the Maxwell Institute, the joint graduate school of the University of Edinburgh and Heriot-Watt University.

Kim has made contributions to the application of arithmetic homotopy theory to the study of Diophantine problems, especially to finiteness theorems of the Faltings–Siegel type.

His work was featured in 2017 in the Quanta Magazine, where he described his work as being inspired by physics.^[1]

In 2012, Minhyong Kim received the Ho-Am Prize for Science,^[2] with the Ho-Am committee citing him as "one of the leading researchers in the area of arithmetic algebraic geometry". He was elected as a Fellow of the American Mathematical Society in the 2024 class of fellows.^[3]

• "p-adic L-functions and Selmer varieties associated to elliptic curves with complex multiplication", Annals of Mathematics
• "The motivic fundamental group of P1\{0,1,∞} and the theorem of Siegel", Inventiones Mathematicae
• "Massey products for elliptic curves of rank 1", Journal of the American Mathematical Society
• "Selmer varieties for curves with CM Jacobians" (with John H. Coates)