Faculty Interests

Concurrency

Formal Methods

Model Checking and Verification

Program Analysis

Programming Languages