An independent research initiative
Build with AI.Validate with evidence.
We study how to validate AI agent behavior and AI-generated software.
Our focus spans formal methods, testing, simulation, and engineering workflows.
Follow the work
Launching soon
Leave your email for updates when we publish research, practical guides, and open-source projects.
- Formal methods
- Testing & simulation
- Agent workflows