Professor of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). Founder and president of Runtime Verification (RV) and of Pi Squared (Pi^2, from Proof of Proof). Previously research scientist at NASA. Grigore does research in programming languages, formal methods, software engineering and cryptography. His recent company, Pi^2, combines these research topics in a novel technology that will lead to a universal framework for verifiable computing.