Quantum Systems

Satisfaction Probability

Figure 1. Satisfaction Probability

Quantum computers perform computations differently to classical computers and so can gain a speedup on certain problems. However, due to the nature of quantum physics, quantum computers are inherently noisy and so prone to error. There is also a risk of the programs that are run on quantum computers are incorrect.

Further, quantum computers have a chance of returning the incorrect result as well. This means that an incorrect result from a program can be influenced by any or all these factors. Therefore, it Is important to reduce the error within the hardware and software of these devices. Whilst various companies are working on reducing error in hardware, there is a need to develop tools that can be used to verify the programs that quantum computers will run.


Marco Lewis

Marco Lewis

PhD Student


Sadegh Soudjani

Sadegh Soudjani