Grigore Roșu 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 Runtime Verification, Inc. and Pi Squared, Inc..

From Wikipedia (CC BY-SA 4.0).

Overview

From Wikipedia (CC BY-SA 4.0).

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the

Grigore Rosu across IJR

Studio characters

Grigore RosuFamously busy. Currently all yours.

Ask IJR about Grigore Rosu Create in Studio Build a game Watch videos