Child of Manifund
Metadata
| Source Table | grants |
| Source ID | 8RG6-z6DjR |
| Description | to Mirco Giacobbe, USD 128000, 2025-11-20 |
| Source URL | manifund.org/projects/formal-certification-technologies-for-ai-safety |
| Parent | Manifund |
| Children | — |
| Created | Mar 12, 2026, 4:59 PM |
| Updated | Mar 14, 2026, 6:22 AM |
| Synced | Mar 12, 2026, 4:59 PM |
Record Data
id | 8RG6-z6DjR |
organizationId | Manifund(organization) |
granteeId | Mirco Giacobbe |
orgEntityId | Manifund(organization) |
orgDisplayName | — |
granteeEntityId | — |
granteeDisplayName | Mirco Giacobbe |
name | Formal Certification Technologies for AI Safety |
amount | 128000 |
currency | USD |
period | — |
date | 2025-11-20 |
status | — |
source | manifund.org/projects/formal-certification-technologies-for-ai-safety |
notes | [Science & technology, Technical AI safety, AI governance] Developing the software infrastructure to make AI systems safe, with formal guarantees |
programId | 8jnn54YEbQ |
dataSourceId | — |
Source Check Verdicts
partial85% confidence
Last checked: 4/29/2026
1 → partial
Debug info
Thing ID: 8RG6-z6DjR
Source Table: grants
Source ID: 8RG6-z6DjR
Parent Thing ID: sid_fFVOuFZCRf