add cs.utah.edu