Automated Reasoning Research Faculty | GradNova