Skip to main content

Foundations, Structures, and Quantum

The Foundations, Structures and Quantum theme encompasses our interdisciplinary research into conceptual and structural underpinnings across a range of disciplines including computer science, physics, pure mathematics, natural language, cognition, and AI. A major activity within this theme includes our work on Quantum Computation and Foundations, employing category theory, diagrammatic reasoning, convex structures and logic.

Related seminar series

All Activities


Quantum Group We study structural and foundational aspects of computer science and …

Read more about Quantum Group

Quantomatic Recent graph-based formalisms of quantum computation provide an abs…

Read more about Quantomatic

All Projects


Reasoning about control To reason about linear systems expressed as block diagrams that give a graphical represen…

Read more about Reasoning about control

All Publications


Differential algebras in codifferential categories

Read more about Differential algebras in codifferential categories

External traced monoidal categories

Read more about External traced monoidal categories