Grigore Roșu

Grigore Roșu (born December 12, 1971) is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in Runtime Verification, the K framework, matching logic, automated coinduction., and for founding [https://runtimeverification.com/ Runtime Verification, Inc.] and [https://pi2.network/founder Pi Squared, Inc.]. Provided by Wikipedia