Skip to main content

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


Suitable for

MSc in Computer Science
Computer Science and Philosophy, Part C
Computer Science, Part B
Mathematics and Computer Science, Part C
Computer Science, Part C


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