After completing a PhD in Applied Physics at Caltech, Evan built Protocol Labs's research infrastrcture, led the special projects team that included Hypercerts, Funding the Commons, gov4git, and key parts of Discourse Graphs and the initial Open Agency Architecture proposal.

Tzu brings 3+ years of Ops experience for AI Security nonprofits. Previously, Tzu did operations for MATS, cofounded Caltech AI Alignment, ran Stanford AI Alignment as an executive director, and continues to advise Berkeley’s AI Safety and groups from 25 other top universities across the world.

Alexandre Rademaker brings over 20 years experience in knowledge representation, proof theory, and formal methods. Previously he conducted research at Microsoft Research, SRI International, and IBM; he now leads formal methods research at Atlas while maintaining his adjunct professorship at FGV/EMAp.