Ross Duncan
|
Dr
Ross
Duncan
Room 214, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
I'm a post-doctoral research fellow at the Oxford University Computing Laboratory and an associate member of Merton College.
I'm interested in quantum computation, category theory and linear logic.
I am the organiser of the QUOXIC workshops.
I am a member of the EC FP6 QICS project. I am a member of the EPSRC Semantics of Quantum Computation Network.
Links
QUOXIC - quantum computation workshops hosted at Oxford and Imperial College
My EPSRC grant.
Selected Publications
| A Categorical Quantum Logic Samson Abramsky and Ross Duncan In Proceedings of the 2nd International Workshop on Quantum Programming Languages. Vol. 33 of Turku Centre for Computer Science General Publication. 2004. This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version. Details | BibTeX | Link (pdf) |
| Types for Quantum Computing Ross Duncan PhD Thesis 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. |
| Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon and Ross Duncan In Autexier et al., editor, Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Vol. 5144 of Lecture Notes in Computer Science. Pages 77-92. Springer. 2008. Details | BibTeX | Download | DOI (10.1007/978-3-540-85110-3_8) |
Info
|
Themes |
|
|
Activities |
|
|
Projects |