About Activity Database Apply for funding For AI safety funders

We're building a public coordination layer for AI safety funding — so donors can move faster, grantees can stay visible, and the ecosystem can share more of its knowledge.

Questions? Takes? Suggestions?

Email us, we want to hear from you

hi@grantmaking.ai

© 2026 This site is released under a CC BY-SA license

JueYan Zhang / AISTOF → Formal Certification Technologies for AI Safety

Amount: $128,000Date Awarded: Nov 20, 2025

Details

Funder: JueYan Zhang / AISTOF
Recipient: Formal Certification Technologies for AI Safety
Purpose: -
Source: https://manifund.org/projects/formal-certification-technologies-for-ai-safety

Metadata

Created: May 30, 2026, 2:06 AM UTC

JueYan Zhang / AISTOF → Formal Certification Technologies for AI Safety | grantmaking.ai