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.

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Transcript

Related