Se le concedió la Medalla Fields en 1986 por probar la conjetura de Mordell, que establece que cualquier curva proyectiva no singular de género g > 1 definida sobre un cuerpo de números K contiene sólo un número finito de puntos racionales en K.