In subsequent work , Taylor ( along with Michael Harris ) proved the local Langlands conjectures for GL ( n ) over a number field .
In his later work , Taylor ( along with Michael Harris ) proved the local Langlands conjectures .