Ross Duncan

Mathematically Structured Programming Group
Computer and Information Sciences
University of Strathclyde

About me:

I am a research fellow in the MSP group in the Department of Computer and Information Sciences. I am interested in quantum computation, the foundations of quantum mechanics, category theory and its application in computer science, logic and physics, and graphical techniques for reasoning.

In my other job, I am Head of Quantum Software at Cambridge Quantum Computing Ltd.

I am the co-inventor (with Bob Coecke) of the ZX-calculus, a string diagrammatic language for quantum systems. I initiated the quantomatic project (with Lucas Dixon and Aleks Kissinger), a graphical theorem prover, intended for reasoning about quantum systems.

I am a member of the editorial board of the open access journal Compositionality. Please feel free to contact me if you wish to submit an article to the journal -- only your best stuff though, no rubbish!

I am a member of the steering committee of the Symposium on Compositional Structures and I help organise the semi-regular workshop series Categories, Physics and Logic aka CLAP. I am also involved with Quantum Information Scotland (aka QUISCO) and a regular participant in the Scottish Category Theory Seminar, aka ScotCats.

I was the co-organiser and co-chair of Quantum Physics and Logic 2016, which took place in Glasgow 6-10 June 2016. The proceedings volume was published by EPTCS and is freely available here. Previously, I organised the 9th Quantum Physics and Logic workshop, which took place in Brussels 10-12 October 2012. The proceedings volume was published by EPTCS and is freely available here.

 

Talks

Some talks I have given can be found here.

 

Latest Preprints

Publications

My Thesis

My thesis was the runner-up for the British Computer Society's prize, Distinguished Dissertations in Theoretical Computer Science. You can dowload it here: Types for Quantum Computing

Contact me: