We're combining formal verification and generative AI to make software provably secure. As AI gets better at finding vulnerabilities, mathematical proofs of correctness are becoming essential for critical systems.

What We Do

We provide a white-glove verification service for companies' critical systems. Our approach:

• Work directly with customer codebases to create mathematical proofs of security
• Use AI to accelerate both specification writing and proof construction
• Focus on real-world security properties that matter for production systems

Market Strategy

• Starting with blockchain, where verification commands premium prices ($20-200K per audit). Working with Mysten Labs and the Sui/Move ecosystem ($3-4M market)
• Building technology to eventually secure mission-critical systems in medical devices and infrastructure

Our Team

Andrei Stefanescu — Chief Scientist

• Led verification of AWS cryptographic algorithms using SAW at Galois
• Created first Ethereum smart contract verification tool
• Three-time International Math Olympiad silver medalist
• PhD in Computer Science from UIUC with David J. Kuck Outstanding Thesis Award
• ACM SIGPLAN Distinguished Paper Award at OOPSLA 2016
• Pioneered K Framework for programming language semantics and verification

Cosmin Radoi — CEO

• Created GritQL, a language for large-scale code migration (backed by Founders Fund, 8VC)
• PhD in Computer Science from UIUC focusing on programming languages