Skip to main content

Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics

Supervisor

Suitable for

MSc in Computer Science
Mathematics and Computer Science, Part C
Computer Science, Part C
Computer Science, Part B 2017-18

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