Skip to main content


Quantum Computing is a key research area within Computer Science and its importance is increasing as quantum technology improves. It is likely that quantum computation will completely transform the way computation is done, and to make this possible it is vital to understand the inherent properties of quantum computation. The relevant research areas include quantum software, quantum algorithms, quantum complexity theory, fault-tolerant quantum computing, quantum machine learning, quantum circuits, quantum cryptography, the foundations of quantum computing, and the connections between those foundations and practical computing.

Click here to read more about the Quantum Group.

Related seminar series

All Activities


Quantum Group We're hiring! The Oxford Computer Science Department is seeking ex…

Read more about Quantum Group

Quantomatic Recent graph-based formalisms of quantum computation provide an abs…

Read more about Quantomatic

All Projects


Reasoning about control To reason about linear systems expressed as block diagrams that give a graphical represen…

Read more about Reasoning about control

All Publications


Differential algebras in codifferential categories

Read more about Differential algebras in codifferential categories

External traced monoidal categories

Read more about External traced monoidal categories