Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Supervisor
Suitable for
Abstract
Bob Coecke is willing to supervise projects in the following areas. Please feel free to contact him.
- Development and applications of the categorical quantum mechanics formalism and corresponding graphical languages
http://en.wikipedia.org/wiki/Categorical_quantum_mechanics
- Development of the quantomatic automated graphical reasoning software
https://sites.google.com/site/quantomatic/
- Theory development and empirical experiments for meaning in natural language processing http://www.cs.ox.ac.uk/people/bob.coecke/NewScientist.pdf
http://www.cs.ox.ac.uk/industry/content/IndustryNewsSummer2011.pdf