Formal Aspects of Software Engineering Research Faculty | GradNova