Software Engineering

Maintenance/Refactoring; Verification/Formal Methods; Software Evolution & HCI-in-SE; Assurance for Correctness/Reliability; & CS Education

Research labs

Research faculty