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 am the co-organiser and co-chair of Quantum Physics and Logic 2016, which will be taking 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.


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: