Home

Graded Modal Types For Quantitative Analysis Of Higher-Order Probabilistic Programs (360G-cabinetoffice-G2-GA-2024101311930-24-25)

Funding Organisation
£87,358
Recipient Organisation

There are three main objectives of this project:Build a compositional and expressive type theory to reason about quantitative properties of higher-order probabilistic programs;Mechanisation of the theory using an interactive theorem prover;Demons

Where is this data from?

This data was originally published by Cabinet Office. If you see something about your organisation or the funding it has received on this page that doesn't look right you can submit a grantee amendment request. You can hover over codes from standard codelists to see the user-friendly name provided by 360Giving.

Grant Details

Award Date 2024-07-08T00:00:00+00:00
Award type Organisation
Managed by: Organisation Name Advanced Research and Invention Agency
Last Modified 2026-02-13T00:00:00Z
From An Open Call? Yes
Authority Act Advanced Research and Invention Agency Act 2022
Amount Awarded 87358
Grant Programme: Code G2-SCH-2024-01-13350
Grant Programme: Title Mathematics for Safe AI
Allocation Method General grants - Competed
Number of recipients 1
Recipient Org: Postal Code CT27NZ
Recipient Org: Street Address THE REGISTRY
Recipient Org: Country United Kingdom
Recipient Org: City CANTERBURY

Allow analytics cookies?
More Information & Privacy Policy

Yes No Disable Analytics