Grigore Rosu is a University of Illinois computer science professor and founder of Runtime Verification, where his work connects programming-language semantics with provable software correctness. He created the K framework and matching logic, and serves on the board of Pi² Labs.
Grigore Rosu is a University of Illinois computer science professor and founder of Runtime Verification, where his work connects programming-language semantics with provable software correctness. He created the K framework and matching logic, and serves on the board of Pi² Labs.
Career
Grigore Rosu holds a PhD, Computer Science from University of California, San Diego.
PLBoard Member at Pi² Labs from 2023-11 to Present
Founder and Scientist at Runtime Verification from 2010-01 to PresentFounded the formal-methods and software-security company that develops K-based verification tools.UOProfessor at University of Illinois Urbana-Champaign from 2002-08 to PresentResearches formal methods, programming-language semantics and verification; creator of the K framework and matching logic.
Visiting Researcher at Microsoft from 2008 to 2008NAResearch Scientist at NASA Ames Research Center from 2000-08 to 2002-08Worked on program synthesis and verification and helped establish the runtime-verification research field.