PhD in CS at University of Washington