Declarative Programming Research Faculty | GradNova