ARIA TA1.1: Safety: Core representation underlying safeguarded AI

Funder

Advanced Research and Invention Agency (ARIA)wiki

Recipient

University of Edinburgh

Program

Safeguarded AI TA1.1 — Theory

Date

Jun 2024

Source

aria.org.uk↗

Notes

[Safeguarded AI TA1.1] Safety: Core representation underlying safeguarded AI. Lead(s): Ohad Kammar, Justus Matthiesen, Jesse Sigal. Institutions: University of Edinburgh. Status: closed.

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 Edinburgh

Grant	Recipient	Amount	Date
Research examining EA tendencies in young people and developing a scalable course to foster EA attitudes in this group	University of Edinburgh	$72K	Jul 2022
Research examining EA tendencies in young people and developing a scalable course to foster EA attitudes in this group	University of Edinburgh	$72K	Jul 2022
University of Edinburgh — Preterm Birth RCT	University of Edinburgh	$345K	Jun 2023
University of Edinburgh — Syphilis Genome Sequencing	University of Edinburgh	$358K	Jun 2023
University of Edinburgh — Effective Altruism Psychology Course	University of Edinburgh	$47K	Jun 2022
University of Edinburgh — Treatments for Preterm Birth	University of Edinburgh	$5.9M	Mar 2025
University of Edinburgh — Scholarship Program in Applied Animal Behavior and Animal Welfare	University of Edinburgh	$102K	Oct 2018

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