ARIA TA1.4: Field Building for Better Formal Models of Society

Funder

Advanced Research and Invention Agency (ARIA)wiki

Recipient

Meaning Alignment Institute

Program

Safeguarded AI TA1.4 — Sociotechnical Integration

Date

Feb 2025

Source

aria.org.uk↗

Notes

[Safeguarded AI TA1.4] Field Building for Better Formal Models of Society. Lead(s): Joe Edelman, Ryan Lowe. Institutions: Meaning Alignment Institute. Status: active.

Other Grants by Advanced Research and Invention Agency (ARIA)

Grant	Recipient	Date
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
ARIA TA1.1: Modal Types for Quantitative Analysis	University Of Kent	Jun 2024

Showing 10 of 91 grants

Other Grants to Meaning Alignment Institute

Grant	Recipient	Amount	Date
General support of Meaning Alignment Institute	Meaning Alignment Institute	$145K	2024
General support of Meaning Alignment Institute	Meaning Alignment Institute	$149K	2025

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