Grigore Rosu the Founder & CEO of Pi Squared. He is also a Computer Science professor at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL).