The formal verification lab for AI native work.
rx1 /g%S 1x {2V{!s:[ @l8Lf s!n U*1-%p Fc diq}]<HO _IO6Vx wfKYry Vpd C4 /w&bhj c*z8iPioneering Formally Verified Systems
That Reshape AI‑Assisted Industries
The 
Labs team brings together world‑class researchers and engineers to build fast and secure systems that scale.
With decades of experience spanning formal verification and AI systems, the team uniquely understands the requirements for instant, verifiable finality at machine speed.
Now the team is applying that expertise to Fast, formal verification systems for AI native work.
Grigore Rosu worked at NASA on critical spacecraft software after earning his Ph.D. in computer science from UCSD. Later, as a professor at UIUC, he created the K Framework, a tool for formally verifying programming languages and founded Runtime Verification, pioneering formal verification in distributed financial markets and securing billions in assets. Pi2 Labs represents the next step in his journey, leveraging over 25 years of expertise to build a formally verified system for AI native work.
Stay Informed
Sign up for updates and never miss important announcements.
Join the community
Join our Discord server to get support or connect with the Pi² community.
Follow us
Learn about company and product updates, upcoming events, rewards, and more.