His most notable contribution to number theory has been the application of arithmetic homotopy to the study of Diophantine problems, especially to finiteness theorems of the Faltings–Siegel type.
In 2012, Minhyong Kim received the Ho-Am Prize for Science, with the Ho-Am committee citing him as "one of the leading researchers in the area of arithmetic algebraic geometry".
2013 – Present Invited Chair Professor, Seoul National University
2011 – Present Professor of Number Theory (RSIV)
2011 – Present Fellow of Merton College, University of Oxford
Grants and Awards
1991 - 1993 NSF grant DMS-9106444
1997 - 2001 NSF grant DMS-9701489 : ‘Effective Diophantine Geometry over Function Fields’.
1998 - 2002 NSF Group Infrastructure Grant : ‘Southwestern Center for Arithmetic Geometry’, Co-PI with six other researchers from the University of Arizona, UTexas Austin, USC, and the University of New Mexico.
2003 - 2006 NSF Infrastructure grant : ‘Southwestern Center for Arithmetic Geometry’, Co-PI with nine other researchers from the University of Arizona, UTexas Austin, USC, UC Berkeley, and the University of New Mexico.
2005 - 2008 NSF grant DMS-0500504 : ‘Motivic fundamental groups, multiple polylogarithms, and Diophantine geometry’.
2006 - 2008 Japan Society for the Promotion of Science, Core-to-Core program ‘New Developments of Arithmetic Geometry, Motive, Galois Theory, and Their Practical Applications,’ Foreign member
2008 EPSRC grant, 46437, for workshop ‘Non-commutative constructions in arithmetic and geometry’
2009 EPSRC grant, EP/G024979/1, 3-year project on ‘Non-commutative fundamental groups in Diophantine geometry’, March