Static and Dynamic Program Analysis Research Faculty | GradNova