TA1.1 — Theory (Scaffolding)
Program AreaActiveGBP 3.5M Phase 1 across 22 projects. Mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, and formal verification foundations. Scope expanded in Nov 2025 pivot.
| Grant | Recipient | Amount | Date |
|---|---|---|---|
| ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification | Hashberg Ltd / University Of Birmingham | 2024-06 | |
| ARIA TA1.1: Monoidal Coalgebraic Metrics | University Of Pisa | 2024-06 | |
| ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework | University Of York | 2024-06 | |
| ARIA TA1.1: Modal Types for Quantitative Analysis | University Of Kent | 2024-06 | |
| ARIA TA1.1: Doubly Categorical Systems Logic | Matteo Capucci (Independent) | 2024-06 | |
| ARIA TA1.1: Philosophical Applied Category Theory | David Corfield (Independent) | 2024-06 | |
| ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML | Heriot Watt University / University Of Strathclyde | 2024-06 | |
| ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes | University College London | 2024-06 | |
| ARIA TA1.1: Learning-Theoretic AI Safety | ALTER | 2024-06 | |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | 2024-06 | |
| ARIA TA1.1: True Categorical Programming for Composable Systems | GLAIVE | 2024-06 | |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University of Oxford | 2024-06 | |
| ARIA TA1.1: SAINT: Safe AI ageNTs | University of Oxford | 2024-06 | |
| ARIA TA1.1: Computational Mechanics Approach to World Models | University Of Sussex | 2024-06 | |
| ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems | UCL / Cornell | 2024-06 | |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | 2024-06 | |
| ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes | University of Oxford | 2024-06 | |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | 2024-06 | |
| ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets | Tallinn University Of Technology | 2024-06 | |
| ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI | Topos Institute | 2024-06 | |
| ARIA TA1.1: String Diagrammatic Probabilistic Logic | Tallinn University Of Technology | 2024-06 | |
| ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI | University Of Manchester | 2024-06 | |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | 2024-01 | |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | 2024-01 | |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | 2024-01 | |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University Of Birmingham / University Of Oxford | 2024-01 | |
| ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI | Topos Research UK / University Of Florida | 2024-01 | |
| ARIA TA1.1: Monoidal Coalgebraic Metrics | University Of Pisa | 2024-01 | |
| ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework | University Of York | 2024-01 | |
| ARIA TA1.1: Learning-Theoretic AI Safety | ALTER | 2024-01 | |
| ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets | Tallinn University Of Technology | 2024-01 | |
| ARIA TA1.1: Doubly Categorical Systems Logic | Matteo Capucci (Independent) | 2024-01 | |
| ARIA TA1.1: Philosophical Applied Category Theory | David Corfield (Independent) | 2024-01 | |
| ARIA TA1.1: True Categorical Programming for Composable Systems | GLAIVE | 2024-01 | |
| ARIA TA1.1: Computational Mechanics Approach to World Models | University Of Sussex | 2024-01 | |
| ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML | Heriot Watt University / University Of Strathclyde | 2024-01 | |
| ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes | University College London | 2024-01 | |
| ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems | UCL / Cornell | 2024-01 | |
| ARIA TA1.1: String Diagrammatic Probabilistic Logic | Tallinn University Of Technology | 2024-01 | |
| ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI | University Of Manchester | 2024-01 | |
| ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes | University of Oxford | 2024-01 | |
| ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification | Hashberg Ltd / University Of Birmingham | 2024-01 | |
| ARIA TA1.1: SAINT: Safe AI ageNTs | University of Oxford | 2024-01 | |
| ARIA TA1.1: Modal Types for Quantitative Analysis | University Of Kent | 2024-01 |