Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
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
- Development of the quantomatic automated graphical reasoning software
- Theory development and empirical experiments for meaning in natural language processing http://www.cs.ox.ac.uk/people/bob.coecke/NewScientist.pdf