What we do:
Quantum computers promise to efficiently solve not only problems
believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification, has been highlighted as a significant challenge on the road to scalable quantum computing technology.
Over the last decade we have developed a large class of various techniques to address the issue of trust and benchmarking for quantum devices, adaptation and optimisation for specific platforms and applications.