organization
AI safety
| Foresight Institute | $150,000 | 100% | 1 |
| Date ↓ | Funder | Via | Amount | Cause | Source | Purpose |
|---|---|---|---|---|---|---|
| Jul 17, 2026 | Foresight Institute | ~$150,000* | AI safety | foresight | Scalable Formally-Verified Code Generation: Self-Improving Defenses Against Vulnerability Propagation in AI The future of science increasingly runs on AI-generated code executed with minimal human oversight, risking the spread of vulnerabilities at unprecedented scale. Souti Chattopadhyay from the University of Southern California is building a system that compiles protective constraints into formal automata and… — AI for Science & Safety Nodes — 2026 cohort |
* Estimated typical grant size; Foresight Institute did not report grant-level amounts.