Anh Mac is a San Francisco–based co-founder and engineer with 10 years of experience building auditable systems at the intersection of AI, governance, and blockchain. At Truth Systems she leads development of automatic proofs for AI governance and compliance, backed by YC, Pear, and The Legal Tech Fund. Her background spans research roles at Stanford Law, UCLA CS, and the University of Warsaw, blending academic rigor with product-driven execution. A UCLA CS graduate (4.0) and YC S25 alum, she combines formal research experience with startup grit and a focus on verifiable, on-chain solutions. Living on-chain and “bear market building,” she brings both long-term conviction in crypto infrastructure and practical experience shipping governance tooling. Notably, her work emphasizes making AI accountability machine-checkable rather than mere policy text.
9 years of coding experience
S25, S25 at Y Combinator
Bachelor of Science - BS, Computer Science, 4.0, Bachelor of Science - BS, Computer Science, 4.0 at University of California, Los Angeles
Contributions:6 pushes, 1 branch in 4 years 7 months
rustjavascriptrust-langlang
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.