Harry Buhrman

Esplorare il ruolo dei PCP quantistici nel computing moderno e nella teoria della complessità.

Nuovi metodi per valutare gli stati quantistici sembrano promettenti nel campo del calcolo quantistico.

Esplorando l'interazione tra prove quantistiche e classiche nel calcolo.