Skip to main content

Quantum

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

Activities

Quantum Group We are a group focused on quantum computation and the found…

Read more about Quantum Group

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

Read more about Quantomatic

All Projects

Projects

Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

Read more about Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

All Publications

Publications

Tensor Network Rewriting Strategies for Satisfiability and Counting

Read more about Tensor Network Rewriting Strategies for Satisfiability and Counting

Differential algebras in codifferential categories

Read more about Differential algebras in codifferential categories

Research