Dr Ross Duncan

Research Fellow

Computer and Information Sciences


Hopf-Frobenius algebras and a simpler Drinfeld double
Collins Joseph, Duncan Ross
Electronic Proceedings in Theoretical Computer Science (2019)
Phase gadget synthesis for shallow circuits
Cowtan Alexander, Dilkes Silas, Duncan Ross, Simmons Will, Sivarajah Seyon
Electronic Proceedings in Theoretical Computer Science (2019)
Pauli Fusion : a computational model to realise quantum transformations from ZX terms
Beaudrap Niel de, Duncan Ross, Horsman Dominic, Perdrix Simon
Electronic Proceedings in Theoretical Computer Science (2019)
On the qubit routing problem
Cowtan Alexander, Dilkes Silas, Duncan Ross, Krajenbrink Alexandre, Simmons Will, Sivarajah Seyon
Leibniz International Proceedings in Informatics (LIPIcs) Vol 135 (2019)
Optimising Clifford circuits with Quantomatic
Fagan Andrew, Duncan Ross
Electronic Proceedings in Theoretical Computer Science Vol 287, pp. 85-105 (2019)
Interacting Frobenius algebras are Hopf
Duncan Ross, Dunne Kevin
Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 31st Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS2016) (2018)

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

Computer & Information Sciences Christmas Lecture for Schools
Categories Logic and Physics
On Interacting Frobenius Algebras and Distributive Laws
Invited speaker
Interacting Frobenius Algebras are Hopf
Invited speaker
Strong Complementarity in Quantum Computing
Invited speaker
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)
01-Jan-2014 - 19-Jan-2019

more projects