Harry Buhrman

Explorando o papel dos PCPs quânticos na computação moderna e na teoria da complexidade.

Novos métodos para avaliar estados quânticos estão mostrando potencial na computação quântica.

Explorando a interação entre provas quânticas e clássicas na computação.