Our team

CEO

Evan Miyazono

Evan Miyazono

After completing a PhD in Applied Physics at Caltech, Evan led research at Protocol Labs, creating their research grants program, and led the special projects team that created Hypercerts, Funding the Commons, gov4git, and key parts of Discourse Graphs and the initial Open Agency Architecture proposal.

Chief of Staff

Tzu Kit Chan

Tzu Kit Chan

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.

FM Research Lead

Alexandre Rademaker

Alexandre Rademaker

Alexandre Rademaker brings over 20 years of experience in computational linguistics, knowledge representation, proof theory, formal methods, and AI. He holds a Ph.D. in Computer Science with part of his doctoral work conducted at Microsoft Research and SRI International. A former researcher at IBM, he is now leading the research on Formal Methods in Atlas while keeping his position as an adjunct professor at FGV/EMAp.