Logic Research Faculty | GradNova