Dr Ross Duncan

Research Fellow

Computer and Information Sciences

Publications

Graph-theoretic simplification of quantum circuits with the ZX-calculus
Duncan Ross, Kissinger Aleks, Perdrix Simon, van de Wetering John
Quantum Vol 4 (2020)
https://doi.org/10.22331/q-2020-06-04-279
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)
Hopf-Frobenius algebras and a simpler Drinfeld double
Collins Joseph, Duncan Ross
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)
https://doi.org/10.4230/LIPIcs.TQC.2019.5
Optimising Clifford circuits with Quantomatic
Fagan Andrew, Duncan Ross
Electronic Proceedings in Theoretical Computer Science Vol 287, pp. 85-105 (2019)
https://doi.org/10.4204/EPTCS.287.5

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

University College London
Visiting researcher
1/10/2019
Compositionality (Journal)
Editorial board member
1/1/2018
Computer & Information Sciences Christmas Lecture for Schools
Participant
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

more professional activities

Projects

Industrial Case Account - University of Strathclyde 2019 | Fontana, Enrico
Duncan, Ross (Principal Investigator) Weir, George (Co-investigator) Fontana, Enrico (Research Co-investigator)
01-Jan-2019 - 01-Jan-2023
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