Grigore Rosu is Professor at University of Illinois at Urbana-Champaign and President and CEO at Runtime Verification. Researcher, educator and entrepreneur in the areas of programming languages, formal methods and software engineering. My main objective is to design and develop techniques that help improve the quality, performance and effectiveness of computing systems.