Skip to main content

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


Suitable for

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


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