Software Analysis and Verification Research Faculty | GradNova