| EP/N018745/1 | Contextuality as a Resource in Quantum Computation | (P) |
| EP/M013243/1 | UK Quantum Technology Hub: NQIT - Networked Quantum Information Technologies | (C) |
| EP/K015478/1 | Quantum Mathematics and Computation | (P) |
| EP/I03596X/1 | Structures at the Interface of Physics and Computer Science | (P) |
| EP/I001301/1 | Logic and Information Flow in Classical and Quantum Systems | (P) |
| EP/F067607/1 | Logic of Interaction and Information Flow | (P) |
| EP/E052819/1 | Foundational Structures and Methods for Quantum Informatics | (P) |
| EP/D037085/1 | Centre for Metacomputation | (P) |
| EP/C536878/1 | Polarized Logic, Geometry of Interaction, and Quantum Computation | (P) |
| EP/C500032/1 | High-Level Methods For Quantum Computation and Information | (P) |
| GR/S57518/01 | Foundations of Probablistic & Quantum Computation | (P) |
| GR/R88861/01 | Algorithmic game semantics and its applications | (P) |
| GR/R87376/01 | Coalgebraic Programming of Games | (P) |
| GR/R84283/01 | Geoemtry of Interaction and the Foundations of Reversible and Quantum Computing | (P) |
| GR/M75860/01 | GAMES FOR COMPLEXITY AND PROBABILITY | (P) |
| GR/M46013/01 | COMBINING ELEGANCE AND EFFICIENCY IN PROGRAMMMING LANGUAGES: A TYPE-THEORETIC APPROACH | (P) |
| GR/L39346/01 | TYPED CONCURRENT OBJECT-ORIENTED LANGUAGES: FOUNDATIONS, METHODS AND TOOLS | (P) |
| GR/K54663/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (P) |
| GR/J65822/01 | TYPE SYSTEMS AND THE FOUNDATIONS OF IMPERATIVE PROGRAMMING | (P) |
| GR/J14462/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (P) |
| GR/G57895/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (P) |
| GR/G24576/01 | FOUNDATIONS OF MODULAR SEMANTICS FOR DATA FLOW AND GENERAL NETS | (P) |
| GR/F72475/01 | FOUNDATIONAL MODELS FOR SOFTWARE ENGINEERING | (P) |
| GR/F97782/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (P) |