Supervisor

Suitable for

Abstract

I am interested in supervising projects in these areas:

(i) developing better quantum compilers for translating high-level algorithms to real hardware,

(ii) simulating complex quantum computations with classical (super) computers, and

(iii) automatically verifying the exact or approximate correctness of quantum computations.

Many of these projects rely on a mathematical methods based on the ZX calculus or related graphical calculi, mostly developed here in Oxford. Rather than specific, pre-made projects, I prefer to meet with students and design a project together, often with input/cosupervision from other members of the Quantum Group. Students interested in doing a project are highly encouraged to take the MSc/PartC courses Quantum Processes and Computation and Quantum Software. We also organise various events and group seminars for students doing (or interested in doing) dissertations with the quantum group, usually starting in HT. If you are interested, contact me (aleks.kissinger@cs.ox.ac.uk) and we'll make sure you get informed about those.

Research topic - Quantum Software: compiling, classical simulation, and verification