Andrew Wiles
With Fred Diamond, Richard Taylor and Brian Conrad in 1999, he proved the Taniyama–Shimura conjecture, which previously had only been proved for semistable elliptic curves by Andrew Wiles and Taylor in their proof of Fermat's Last Theorem. Later, he worked on the "p"-adic Langlands conjecture.