Our team
CEO
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 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 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.
Board of Directors
Director
Evan Miyazono

CEO, Atlas Computing
Director
Sara Horowitz

Founder, Freelancers Union
Director
Blake Borgeson

Board Member, MIRI
Advisors
Advisor
Zoe Weinberg

Founder & Managing Partner, ex/ante
Advisor
Tushant “TJ” Jha

Research Scholar, Future of Humanity Institute
Advisor
Divya Siddarth

Co-Founder & Co-Director, Collective Intelligence Project
Advisor
David “davidad” A. Dalrymple

AI Programme Director, ARIA
Advisor
Alexander Lavin

Founder, Pasteur Labs & ISI
Advisor
Deger Turan

President, AI Objectives Institute
Advisor
Gaia Dempsey

CEO, Metaculus
Advisor
Scott Moore

Co-Founder, Gitcoin
Advisor
Jamie Joyce

Founder and ED, The Society Library
Advisor
Ramsay Brown

Founder and CEO, Mission Control AI
Advisor
Stéphane Graham-Lengrand

Technical Director, SRI Formal Methods Group
Advisor
Josh Tan

Co-founder and Research Director, MetaGov
Advisor
Juan Benet

Founder and CEO, Protocol Labs