ARIA TA1.1: Employing Categorical Probability Towards Safe AI

Funder

Advanced Research and Invention Agency (ARIA)wiki

Recipient

University of Oxford

Program

Safeguarded AI TA1.1 — Theory

Date

Jun 2024

Source

aria.org.uk↗

Notes

[Safeguarded AI TA1.1] Employing Categorical Probability Towards Safe AI. Lead(s): Sam Staton, Pedro Amorim, Elena Di Lavore, Paolo Perrone, Mario Roman, Ruben Van Belle, Younesse Kaddar, Jack Liell-Cock, Owen Lynch. Institutions: University of Oxford. Status: active.

Other Grants by Advanced Research and Invention Agency (ARIA)

Grant	Recipient	Date
ARIA TA1.4: Field Building for Better Formal Models of Society	Meaning Alignment Institute	Feb 2025
ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment	University of Michigan	Sep 2024
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification	University of Birmingham	Jun 2024
ARIA TA1.1: Monoidal Coalgebraic Metrics	University Of Pisa	Jun 2024
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification	Topos Institute	Sep 2024
ARIA TA3: Digital Custodians for Ageing Infrastructure	Mind Foundry / WSP	Sep 2024
ARIA TA1.4: Aggregating Safety Preferences for AI Systems (ASPAI)	University of Warwick	Feb 2025
ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework	University Of York	Jun 2024
ARIA TA3: Safeguarded AI-Enabled Biopharmaceutical Manufacturing	University of Birmingham	Sep 2024
ARIA TA3: SAILS: Safeguarded AI for Logistics and Supply chain	HASH	Sep 2024

Showing 10 of 91 grants

Other Grants to University of Oxford

Grant	Recipient	Amount	Date
Funding for a study comparing iron bioavailability across sources among pregnant women in Kenya.	University of Oxford	$152K	Jul 2025
Funding for a study comparing iron bioavailability across sources among pregnant women in Kenya.	University of Oxford	$152K	Jul 2025
University of Oxford — Oxford AI Governance Initiative	University of Oxford	$5.4M	Mar 2025
University of Oxford — Hepatitis C Challenge Model	University of Oxford	$1.4M	Apr 2024
University of Oxford — Genetic Engineering Attribution	University of Oxford	$40K	Jan 2023
University of Oxford — Malaria Vaccine Durability in School-Aged Children	University of Oxford	$3.5M	Jun 2025
University of Oxford — Malaria Vaccine Manufacturing	University of Oxford	$4.7M	Dec 2024
University of Oxford — LLM Research Replication	University of Oxford	$622K	Sep 2024
University of Oxford — AI Cybersecurity Project	University of Oxford	$265K	Nov 2024
University of Oxford — Improved First-Generation Malaria Vaccine Development	University of Oxford	$4.3M	Dec 2024

Showing 10 of 15 grants

← Back to Advanced Research and Invention Agency (ARIA)All grants