Ha escrito una serie de trabajos sobre sistemas de Euler, los cuales fueron estudiados por Andrew Wiles y utilizados en su demostración de la hipótesis, "las curvas elípticas semiestables son formas modulares", que condujo a avances relevantes con relación a la resolución de la conjetura de Birch y Swinnerton-Dyer, y la conjetura de Iwasawa para campos ciclotómicos.