Automata Computing Research Faculty | GradNova