Il a donné une description complète des niveaux possibles pour une représentation de Galois modulaire mod l ; il a établi un critère au sein de la théorie de Galois pour qu'une forme modulairep-adique puisse continuer analytiquement en une forme modulaire classique ; il a montré que la théorie de Coleman-Mazur sur les familles p-adiques de formes modulaires pouvait être simplifiée grâce à des arguments élémentaires utilisant la cohomologie des groupes ; il a également montré comment calculer les dérivées d'un opérateur p-Hecke sur des espaces de formes modulaires[3].
En 2017, il a lancé le Xena Project, un projet d'« étudiant virtuel » qui promeut l'utilisation de systèmes de vérification de preuve par ordinateur, pour l'avenir des recherches en mathématiques pures[4],[5].
Buzzard, Kevin, « Review: Modular forms and Fermat's Last Theorem, by G. Cornell, J. H. Silverman, and G. Stevens », Bull. Amer. Math. Soc. (N.S.), vol. 36, no 2, , p. 261-266 (DOI10.1090/s0273-0979-99-00778-8, lire en ligne).