My main research interests are in quantum computation and quantum foundations. I investigate what makes quantum theory different to other plausible theories and how these differences can be exploited in the realm of computer science. Quantum theory is quite difficult to understand, and a large part of my work involves using category theory to get at the important aspects of quantum theory. Category theory also provides a beautiful graphical language which makes quantum systems easier to understand. For this reason, I'm also interested in reasoning in graphical languages and inm particular automated reasoning.
- What is a quantum computer?
- Categories Logic and Physics
- On Interacting Frobenius Algebras and Distributive Laws
- Interacting Frobenius Algebras are Hopf
- Strong Complementarity in Quantum Computing
- Quantum Physics and Logic 2016 (QPL)
more professional activities
- Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin
- Duncan, Ross (Principal Investigator) Ghani, Neil (Co-investigator) Dunne, Kevin (Research Co-investigator)
- Period 01-Oct-2014 - 01-Apr-2018
Computer and Information Sciences
View University of Strathclyde in a larger map