Verifiable Computation Research Faculty | GradNova