He is also known for introducing the complexity class QMA and showing that some local Hamiltonian problems are QMA-complete.
Также он предложил класс сложности QMA и показал, что некоторые локальные Гамильтоновские проблемы являются QMA-полными.