Quantum Software in Oxford Computer Science
Aleks Kissinger
Quantum Group in Computer Science
- 4 faculty: AK, Jon Barrett, Matty Hoban, Sergii Strelchuk, 22 PhD & postdocs
- focus: quantum software (compiling and algorithms) and quantum foundations
Quantum Software
the code that runs on a quantum computer
|
INIT 5 CNOT 1 0 H 2 Z 3 H 0 H 1 CNOT 4 2 ... |
↔ |  |
Optimising circuits the old-fashioned way
...
A better idea: the ZX calculus
A complete set of equations for qubit QC
Quantum Software
 |
 |
 |
| Optimisation | Simulation & Verification | Error Correction |