Revision as of 11:28, 24 January 2016 by Grosu
|Conferences and journals in which I am involved|
|Research Topics in which I am currently interested|
- Programming Language Design and Semantics - 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
|Runtime Verification, Inc.|
- Runtime Verification, Inc.: a startup company that I founded, commercializing tools for increasing software quality.