The subject area of my research is categorical semantics for quantum computation. This applies the formal machinery of category theory to analysing the mathematical and physical structures at work in quantum information processing, and more widely in quantum mechanics. I hope to extend and apply the categorical viewpoint begun in Abramsky and Coecke (2004), and Selinger (2005) to ideas currently emerging in topological quantum computing, amongst other things.
- Mathematical structures underlying topological quantum computation
- Categorical logic
- Formal language semantics
- Formal methods in computation and physics
- Foundations of mathematics
- Philosophy of physics
- Scientific methodology
- ... and many more ...
Previously I did MSc's in Mathematical Logic and the Theory of Computation at Manchester University, and Philosophy and History of Science at the London School of Economics. Before those I did a BSc in Mathematics at Edinburgh University. Between these I worked as a full-time cycle courier for a while in Edinburgh, with Edinburgh City Couriers; for those bored with life indoors this is definitely one of the most fun jobs you will find.
