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

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

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

Publications

Piecewise Boolean algebras and their domains

Read more about Piecewise Boolean algebras and their domains

Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Read more about Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Research