search menu icon-carat-right cmu-wordmark

Projecting Quantum Computational Advantage Versus Classical State of the Art (video)

Watch SEI researcher Dr. Jason Larkin discuss research to predict when (or whether) quantum computing will be mission-capable for hard combinatorial optimization problems in software verification and validation (V&V).

Software Engineering Institute



Software verification and validation (V&V) is crucial for DoD systems, but it is both computationally difficult and expensive. Some estimates put V&V at 50 percent of total cost for most systems. What’s more, as DoD code bases become larger, the computational costs to perform state-of-the-art V&V becomes intractable and exceeds the limitations of current hardware. New computer paradigms are needed to tackle this problem, and one that holds great potential is quantum computing.
The DoD recognizes this potential and is looking for ways to harness it for mission capability.