Formal Software Design Modeling and Analysis Research Faculty | GradNova