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.