Grigore Rosu is president and CEO of Runtime Vеrification, founder and CEO of Pi Squared, and a professor of computer science at the University of Illinois at Urbana-Champaign. He graduated from the Jacobs School of Engineering at the University of California, San Diego.n