Dr Ross Duncan

Lecturer

Computer and Information Sciences

Publications

Interacting Frobenius algebras are Hopf
Duncan Ross, Dunne Kevin
Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (2016)
The ZX-calculus, strong complementarity, and non-locality
Duncan Ross
Journées Informatique Quantique 2015, (2015)
Strong complementarity in quantum computing
Duncan Ross
31st British Colloquium of Theoretical Computer Science, (2015)
Generalised compositional theories and diagrammatic reasoning
Coecke Bob, Duncan Ross, Kissinger Aleks, Wang Quanlong
Quantum TheoryFundamental Theories of Physics Vol 181, No. 1, (2015)
The ZX-calculus : diagrams for quantum computing
Duncan Ross
Växjö15: Quantum Theory from Foundations to Technologies, (2015)
Interacting Frobenius Algebras are Hopf
Duncan Ross
Higher TQFT and categorical quantum mechanics, (2015)

more publications

Research interests

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.

Professional activities

What is a quantum computer?
Lecturer
9/12/2016
Categories Logic and Physics
Organiser
14/4/2016
On Interacting Frobenius Algebras and Distributive Laws
Invited speaker
4/2016
Interacting Frobenius Algebras are Hopf
Invited speaker
2/2/2016
Strong Complementarity in Quantum Computing
Invited speaker
9/2015
Quantum Physics and Logic 2016 (QPL)
Chair
2015

more professional activities

Projects

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

more projects

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map