With Mark Kisin, he proved the Breuil–Mézard conjecture for potentially Barsotti–Tate representations,[6] and with Thomas Barnet-Lamb and David Geraghty, he proved the Sato–Tate conjecture for Hilbert modular forms.[7] One of his most influential ideas has been the introduction of a general 'philosophy of weights', which has clarified some aspects of the emerging mod p Langlands philosophy.[8]