ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment

Funder

Advanced Research and Invention Agency (ARIA)wiki

Recipient

University of Michigan

Program

Safeguarded AI TA1.2 + TA1.3 — Platform

Date

Jan 2024

Source

aria.org.uk↗

Notes

[Safeguarded AI TA1.3] Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment. Lead(s): Cyrus Omar, Andrew Blinn, Thomas Porter. Institutions: University of Michigan. 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 Michigan

Grant	Recipient	Amount	Date
University of Michigan — Course Development Support (Anna Edmonds)	University of Michigan	$50K	Feb 2022
University of Michigan — Scalable Oversight Research	University of Michigan	$100K	Feb 2024
University of Michigan — Research on Gamete Development (2023)	University of Michigan	$2M	May 2023
University of Michigan — Research on Mammalian Gamete Development (2019)	University of Michigan	$2.5M	Mar 2019
University of Michigan — Support for David Manley	University of Michigan	$47K	Oct 2018
University of Michigan — COVID-19 Protein Production (Aubree Gordon)	University of Michigan	$348K	Apr 2020

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