Grigore Rosu

Associate Professor University of Illinois

Bio, Vita and Research Awards Editing and Service Publications (DBLP,Google,old) Projects (K, MOP, jPredictor, Circ) Students and Collaborators Teaching Aviation page Contact

Upcoming events in which I am involved

• (ordered backwards by deadline): RV'14, FSE'14, FOSSACS'14, ASE'13

Research ideas in which I am currently very interested

• K and Matching Logic - Designing and verifying programming languages using formal, rewrite-based executable semantics
• Runtime Verification - Checking programs against properties as they execute
• Circular Coinduction - Proving behavioral equivalence by exhaustive testing of indistinguishability

Other links

• Runtime Verification, Inc.: a startup that I co-founded with Patrick Meredith; please try out our new product, RV-Predict.
• Fun
• Resources