Specification Languages Research Faculty | GradNova