Faculty Interests

Programming Systems

Concurrency

Formal Methods

Model Checking and Verification

Petri Nets

Program Analysis

Programming Languages