Harry Buhrman

Exploration du rôle des PCPs quantiques dans l'informatique moderne et la théorie de la complexité.

De nouvelles méthodes pour évaluer les états quantiques montrent du potentiel dans l'informatique quantique.

Explorer l'interaction entre les preuves quantiques et classiques en informatique.