Declarative Languages Research Faculty | GradNova