He was known for developing the theory of complex multiplication of abelian varieties and Shimura varieties, as well as the Taniyama–Shimura conjecture which led to the proof of Fermat's Last Theorem.