Grigore Rosu has spent his career transforming industries through technology, and now he’s developing Fast, a new payment system for agents at Pi² Labs. After earning his Ph.D. in computer science from UCSD, he worked at NASA on critical spacecraft software. Later, as a professor at UIUC, he created the K Framework, a tool for formally verifying programming languages.

He previously founded Runtime Verification, pioneering formal verification in distributed financial markets and securing billions in assets. Pi² Labs represents the next step in his journey, leveraging over 25 years of expertise to build a secure global payment system for agents.

Beyond the Stage – Social Profiles