The Foundations, Logic and Structures theme encompasses our research into the mathematical underpinnings of computer science and their application in a variety of different areas. Major activities within this theme include our work on Quantum Information and Computation, led by Samson Abramsky and Bob Coecke; on Game Semantics and applications to Verification, led by Luke Ong; on Dynamic Epistemic Logic, led by Alexandru Baltag; and on Constraints, led by Peter Jeavons.
