# Pi² Labs

> Pi² is building Fast, a new payment system for the agentic economy.

## About

Pi² Labs develops verifiable computing infrastructure rooted in formal verification and the K framework. Founded by Grigore Rosu (creator of the K framework) and Sriram Vishwanath (IEEE Fellow, Georgia Tech), the company bridges decades of academic research in programming language semantics with practical blockchain and financial infrastructure.

### What We Build
- **Fast** — A real-time, verifiable settlement system for efficient markets
- **Fast Terminal** — An interface for interacting with the Fast network
- **K Framework** — An executable semantic framework for defining and verifying programming languages

### Core Technology
- Formal verification using the K framework and matching logic
- Proof of Proof — a verifiable computing framework using succinct cryptographic proofs
- Verifiability Stack — a three-tiered architecture (VSL, VLM, VCP) for verifiable settlement

### Research Areas
- Programming language formal semantics (C, Java, JavaScript, Python, x86-64, EVM)
- Matching logic and matching μ-logic
- Smart contract verification (KEVM)
- Verifiable AI inference and auto-formalization
- Argument mining and NLP datasets

## Team

- **Grigore Rosu** — Co-Founder & CEO (K framework creator, UIUC professor, NASA veteran, Runtime Verification founder; building Fast for agent payments)
- **Sriram Vishwanath** — Co-Founder (IEEE Fellow, Technical Fellow at MITRE Labs, Georgia Tech, 300+ publications)
- **Xiaohong Chen** — CTO (Matching μ-logic PhD, formal verification expert)
- **Lindsay Casale** — CMO
- **Musab Alturki** — COO
- **Jeet Raut** — Head of Strategy
- **Ilja Zakharov** — Head of Engineering
- **Ovidiu Damian** — Head of Product
- **Yi Zhang** — Chief Architect
- **Jin Xing Lim** — Technical Product Lead
- **Nicholas Harness** — Ecosystem Lead

## Key Pages

- [Homepage](https://pi2labs.org/) — Company overview and product information
- [Research Papers](https://pi2labs.org/papers) — 22 academic publications across whitepapers, research, and AI
- [About Us](https://pi2labs.org/about-us) — Team and careers
- [Media Kit](https://pi2labs.org/media-kit) — Press resources and brand guidelines

## Contact & Social

- Twitter/X: [@pi2_labs](https://x.com/PiSquared)
- LinkedIn: [Pi² Labs](https://www.linkedin.com/company/fast-xyz)
- GitHub: [pi2-labs](https://github.com/pi2-labs)

Last updated: 2025