Grigore Rosu
From FSL
 Associate ProfessorUniversity of Illinois |
 |
| Upcoming events in which I am involved |
|---|
- (ordered backwards by deadline): FSE'14, FOSSACS'14, ASE'13, RV'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
