Automata Research Faculty | GradNova