Ross Duncan

Dr

  • United Kingdom

Accepting PhD Students

PhD projects

Categorical foundations for quantum computing.
Graphical reasoning in monoidal categories

20092020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

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.

Keywords

  • quantum computation
  • category theory
  • graphical reasoning
  • logic
  • semantics

Fingerprint

Dive into the research topics where Ross Duncan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
If you made any changes in Pure these will be visible here soon.