Peter Morales is the CEO and co-founder of Code Metal, a Boston-based AI company that hit unicorn status in February 2026 after raising a $125M Series B led by Salesforce Ventures. With a background spanning BAE Systems (F-35 ML optimization), MIT Lincoln Laboratory (counter-drone AI), and Microsoft (HoloLens computer vision), Morales built Code Metal to solve a gap he discovered firsthand: AI can generate code fast, but mission-critical industries — defense, automotive, semiconductors — need proof that code is correct before it ships. Code Metal's verifiable AI platform translates high-level code into hardware-optimized, mathematically verified production code for edge devices, drones, FPGAs, and autonomous systems. Customers include the U.S. Air Force, L3Harris, Raytheon, Toshiba, and Bosch.
Predrag Gruevski is an independent software engineer, open-source creator, and Rust ecosystem luminary best known for building Trustfall - a universal query engine that lets you query anything from APIs to LLMs - and cargo-semver-checks, a semantic versioning linter that's becoming a cornerstone of the Rust publish workflow. A former MIT competitive mathematician turned principal engineer at Kensho Technologies, Predrag brings Olympic-level rigor to API design and compiler technology, writing and speaking extensively on correctness-first software development.