Proof Complexity Research Faculty | GradNova