Ross Duncan

Mathematically Structured Programming Group
Computer and Information Sciences
University of Strathclyde

About me:

I am a lecturer 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.

I initiated the quantomatic project, a graphical theorem prover, intended for reasoning about quantum systems.

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.

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.

This year I am teaching:

For CS106 and CS207 I'm teaching only the second semester.


Latest Preprints


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


Some talks I have given can be found here.

Contact me: