Grigore Rosu

Grigore Rosu

Professor of Computer Science
University of Illinois at Urbana-Champaign

Conferences and journals in which I am involved

Research Topics in which I am currently interested

You want to work on these topics? See my list of Open Problems and Challenges.

Runtime Verification, Inc.