We study structural and foundational aspects of computer science and physics, and the connections between them, with applications in quantum information and computation, as well as in computational linguistics, computational logic and semantics. Here are listed some of our current major activities, along with some of the main people involved:
Categorical quantum mechanics (Professor Samson Abramsky, Professor Bob Coecke, Dr Chris Heunen, Dr Aleks Kissinger, Dr Jamie Vicary)
Generalized probabilistic models for quantum foundations (Dr Jonathan Barrett, Dr Ray Lal)
Contextual semantics, with applications to quantum information and foundations, and to classical computer science (databases, constraints, semantics of natural language) (Professor Samson Abramsky, Dr Shane Mansfield, Dr Ray Lal, Dr Kohei Kishida, Dr Chris Heunen)
Compositional distributional models of natural language meaning (Professor Bob Coecke)
Categorical perspectives on quantum logic (Dr Chris Heunen, Dr Kohei Kishida)
Topological foundations of quantum and classical computation, and topological quantum field theories (Dr Jamie Vicary)
Relativistic quantum information and causality in quantum foundations (Dr Jonathan Barrett, Professor Bob Coecke, Dr Ray Lal)
Automated reasoning for graphical theories and quantum computation (Dr Aleks Kissinger)
Semantics of computation, including game semantics for dependent type theories, and semantics of intensional computation (Professor Samson Abramsky, Dr Kohei Kishida)
