Chris Hsu is Co-Founder, Co-CEO and Executive Chairman of &Truth, a public benefit corporation building a universal verification machine that mathematically proves code is safe, secure and correct.

Chris holds a B.S. in Management Science & Engineering from Stanford University. He was Founding Partner and CEO of Kilometre Capital, Chief Investment Officer of Rocketeer Management, Managing Director at Citadel Investment Group, and Senior Advisor to EQT BPEA Private Equity.

Chris is President of Infinitude Foundation, which directs philanthropy to AI safety, consciousness studies and philosophy of mind. He ran his first marathon at age 11 and has held Ironman All World Athlete Silver status.

Chris serves on the Strategic Advisory Board of the Lean FRO, a nonprofit supporting the Lean proof assistant and its ecosystem. At &Truth he partners with Stanford's Clark Barrett and NUS's Ilya Sergey to turn decades of formal verification research into a commercial platform.

&Truth emerged from stealth in October 2026 with $70M in seed capital from AI safety and venture capital leaders. Its mission is to move software from hoping code works to proving it does, as AI generates and attacks ever more of the world's code.