ARIA TA1.2: From string diagrams to GPU optimisation

Funder

Advanced Research and Invention Agency (ARIA)wiki

Recipient

Adjoint Labs Limited

Program

Safeguarded AI TA1.2 + TA1.3 — Platform

Date

Sep 2024

Source

Notes

[Safeguarded AI TA1.2] From string diagrams to GPU optimisation. Lead(s): Paolo Perrone, Nikolaj Jensen. Institutions: Adjoint Labs Limited. Status: active.

Other Grants by Advanced Research and Invention Agency (ARIA)

91

Grant	Recipient	Amount	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

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

ARIA TA1.2: From string diagrams to GPU optimisation | Advanced Research and Invention Agency (ARIA) | Grants | Longterm Wiki