Pi Squared – A Verifiable Settlement Layer for AI and Crypto
Grigore Roșu is a professor of computer science at the University of Illinois and a former NASA engineer, where he developed the K Framework – an open-source “Rosetta Stone” for programming language semantics. A day-one contributor to the Ethereum Foundation, he later founded Runtime Verification, now the leading formal verification company in Web3. In 2023, he founded Pi Squared with the vision of bringing the next million developers to Web3 by utilizing his revolutionary K Framework.
Why you should listen
Pi Squared solves the fragmentation and trust limitations of today’s blockchain infrastructure by enabling verifiable, cross-chain computation and settlement, so apps, agents, and protocols can interact across ecosystems…
