The project addresses the need for reliable, scalable verification and benchmarking schemes in quantum computing. It will address the verification of quantum computers in the regime that goes beyond what can be simulated with classical computers. Current challenges in quantum technology adoption stem from the lack of benchmarking methods at that scale and the inherent difficulty in validating quantum devices beyond classical simulation capabilities.
The student will develop verification-based benchmarking approaches for digital quantum computers with realistic noise models, leading to metrics devoid of assumptions about noise impacts. This work will tailor the developed benchmarking approaches to error-corrected as well as networked quantum computers, addressing the need for scalable benchmarks for these architectures.