Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
|
Supervisor |
|
|
Suitable for |
MSc in Computer Science
|
Abstract
Bob Coecke is willing to supervise projects in these areas. Please feel free to contact him.
- Quantum computing
and quantum information
- Category theory in logic and physics
- Diagrammatic languages in computer science, logic
and physics
- Distributional compositional models of meaning
- Domain theory and probability
- Foundations
of computing and physics