Building the Decentralized and Verifiable Foundation for Web3 Beyond Blockchain, with Grigore Rosu (Pi Squared)

Grigore Rosu is the Founder & CEO of Pi Squared, (https://pi2.network/), a groundbreaking Web3 infrastructure company revolutionizing verifiable computing with its Universal Settlement Layer. As a distinguished professor at the University of Illinois Urbana-Champaign and founder of the K framework and Runtime Verification, Grigore brings unparalleled expertise in formal methods and blockchain innovation. He dives into his journey from NASA to Web3, the philosophy behind Pi Squared’s “Proof of Proof” technology, and the mission to unify fragmented blockchain ecosystems with language-agnostic, zero-knowledge solutions. He dives into his seasoned perspective on unifying the fragmented Web3 space, the art and science behind building trustless, scalable systems, and the nuances of leveraging zero-knowledge proofs for universal computation.