Logic and Computation Research Faculty | GradNova