Colin Stephen
Themes:
Interests
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 ...