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, which aims to produce a graphical theorem prover, intended for reasoning about quantum systems.

 

I am organised the 9th Quantum Physics and Logic workshop, which took place in Brussels 10-12 October 2012.

 

 

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

Talks

Some talks I have given can be found here.

Contact me: