We work with a multidisciplinary group of top scientific experts to help us evaluate promising technologies. You can explore our growing portfolio of projects below or read about our selection process here.
We're building a diverse portfolio to maximize the likelihood of meeting our goals.
Atlas Computing is an R&D nonprofit prototyping AI-powered tools to generate formal specifications, aiming to empower engineers to verify code easily and develop trustworthy software.
Industry
AI Hardware Security
Headquarters
San Francisco
Tenstorrent focuses on developing advanced AI chip architectures, emphasizing formal verification methods to ensure design integrity and performance.
Industry
AI Chip Development
Headquarters
Toronto
TamperSec specializes in protecting sensitive hardware against sophisticated physical attacks by sealing them within secure enclosures, ensuring hardware integrity.
Industry
Hardware Security
Headquarters
New York