Media Resources
jBhV k4x&(!gj zi;OKv* D4JAG)- .n6,E p),R=x^ &{k+qKyl3v$ s84{0 Wdi0/I4K/ N+atN6h:v6 L<z GEqF4!;OLPc:_(Brand Assets
We want the logo to be instantly recognizable at all sizes and in all contexts. Clear space around the logo is equal to the cap height of the “P”. Nothing break the limit of this space that the P’s create.
Download
Download
Colors
Our core palette which is Dark Grey and Beige. The core palette is used to provide accessibility, simplicity, and consistency throughout all brand communications.
Our Secondary palette is Lavender Purple and Teal Green. Used sparingly for important moments of support, assurance, delight, calls to action and especially moments of interaction between a user and the brand.
1A1A1A
FAF9F0
D8D2FA
D5FAD3
Founder Bios
Grigore Rosu
Cofounder & CEO
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.
Jessy Huang
Cofounder & Chief Strategy Officer
Jessy is a builder and strategist. Previously, she was an early member of a unicorn company for tackling the problem of verifiable cloud for AI, and secured over $20B in value. Her expertise is in product strategy and ecosystem building.
One Liner
Pi2 Labs is building formally verified systems for AI native work.
Press Inquiries
For any PR & media inquiries, please
Contact Us
Stay Informed
Sign up for updates and never miss important announcements.
Follow us
Learn about company and product updates, upcoming events, rewards, and more.