About Us

Background

We are a group of formal methods experts, including former faculty members from the University of Chicago, Columbia, and MIT, gold medal winners from the IMO, IOI, and IPhO, and skilled cryptographers with decades of combined experience.

Frontier AI is enabling attackers to discover vulnerabilities at unprecedented scale. Formal verification is the strongest response: it eliminates entire classes of vulnerabilities no matter how capable the attacker. The same AI progress has transformed verification from a years-long research effort into a practical engineering discipline, and we believe it is now critical for defensive cybersecurity.

What we do

We formally verify open-source software across cryptography, cloud infrastructure, and systems software. For teams with proprietary code, we bring the same methods to the systems you run in production.