Faculty Interests

Formal Methods

Model Checking and Verification

Program Analysis